Searched refs:z_tsc_read (Results 1 – 5 of 5) sorted by relevance
24 tsc_start = z_tsc_read();29 tsc_end = z_tsc_read();63 return z_tsc_read(); in arch_timing_counter_get()
25 extern uint64_t z_tsc_read(void);
32 return z_tsc_read(); in acpi_timer_get()
289 static inline uint64_t z_tsc_read(void) in z_tsc_read() function
26 uint64_t z_tsc_read(void) in z_tsc_read() function
