30 #include <service/ote_rtc.h>
88 return ote_rtc_init();
92 return ote_rtc_deinit();
96 return ote_rtc_get_time_msecs(tsc_msecs);
100 return ote_rtc_get_time_usecs(tsc_usecs);
te_error_t ote_tsc_get_usecs(uint64_t *tsc_usecs)
Gets the current value of the TSC in microseconds.
te_error_t ote_tsc_init(void)
Initializes the TSC hardware.
te_error_t ote_tsc_get_msecs(uint64_t *tsc_msecs)
Gets the current value of the TSC in milliseconds.
te_error_t
Defines Open Trusted Environment (OTE) error codes.
te_error_t ote_tsc_deinit(void)
Deinitializes the TSC hardware.