Searched refs:rdtsc (Results 1 – 1 of 1) sorted by relevance
28 static ALWAYS_INLINE uint64_t rdtsc(void) in rdtsc() function40 uint32_t ticks = (rdtsc() - last_announce) / CYC_PER_TICK; in isr()63 uint64_t now = rdtsc(); in sys_clock_set_timeout()89 uint32_t ret = (rdtsc() - last_announce) / CYC_PER_TICK; in sys_clock_elapsed()97 return (uint32_t) rdtsc(); in sys_clock_cycle_get_32()189 last_announce = rdtsc(); in sys_clock_driver_init()
