I want to read timestamp in my nRF9160 device and found that "z_tsc_read()" function in Zephyr RTOS will do that. However, I am not able to include the main library of the timestamp in the code and so I get the "undefined reference to `z_tsc_read'" error. I tried to include "<tc_util.h>" to resolve the problem but it seems compiler is not able to locate this library too. Can anyone please help me to solve the problem to use the "z_tsc_read()" function?