Searched refs:rdtsc (Results 1 – 5 of 5) sorted by relevance
49 return rdtsc(); in arch_cycle_count()
200 static inline uint64_t rdtsc(void) { in rdtsc() function
128 system_time->tsc_timestamp = rdtsc(); in pvclock_update_system_time()153 uint64_t tsc = rdtsc(); in pvclock_populate_offset()
122 uint64_t tsc = rdtsc(); in current_time()171 return rdtsc(); in current_ticks()381 uint64_t start = rdtsc(); in calibrate_tsc_count()396 zx_ticks_t end = rdtsc(); in calibrate_tsc_count()
1652 zx_time_t now = rdtsc(); in x86_perfmon_write_last_records()1888 zx_time_t now = rdtsc(); in pmi_interrupt_handler()
Completed in 15 milliseconds