Searched refs:rdtsc (Results 1 – 1 of 1) sorted by relevance
30 static ALWAYS_INLINE uint64_t rdtsc(void) in rdtsc() function42 uint32_t ticks = (rdtsc() - last_announce) / CYC_PER_TICK; in isr()65 uint64_t now = rdtsc(); in sys_clock_set_timeout()91 uint32_t ret = (rdtsc() - last_announce) / CYC_PER_TICK; in sys_clock_elapsed()99 return (uint32_t) rdtsc(); in sys_clock_cycle_get_32()104 return rdtsc(); in sys_clock_cycle_get_64()196 last_announce = rdtsc(); in sys_clock_driver_init()
