Searched refs:gethrtimeunscaledf (Results 1 – 7 of 7) sorted by relevance
604 extern hrtime_t (*gethrtimeunscaledf)(void); in vmm_tsc_init()608 VERIFY(*gethrtimeunscaledf == tsc_gethrtimeunscaled || in vmm_tsc_init()609 *gethrtimeunscaledf == tsc_gethrtimeunscaled_delta); in vmm_tsc_init()616 (*gethrtimeunscaledf == tsc_gethrtimeunscaled_delta); in vmm_tsc_init()624 return ((uint64_t)gethrtimeunscaledf()); in rdtsc_offset()
4864 hrtime_t hrt = gethrtimeunscaledf(); in vmm_time_snapshot()
57 extern hrtime_t (*gethrtimeunscaledf)(); /* get high res timer unscaled value */
614 gethrtimeunscaledf = tsc_gethrtimeunscaled_delta; in tsc_sync_master()751 gethrtimeunscaledf = tsc_gethrtimeunscaled; in tsc_hrtimeinit()798 gethrtimeunscaledf = tsc_gethrtimeunscaled_delta; in tsc_adjust_delta()
141 hrtime_t (*gethrtimeunscaledf)(void) = dummy_hrtime; variable1415 gethrtimeunscaledf = gethrtimef; in mach_clkinit()
171 extern hrtime_t (*gethrtimeunscaledf)(void);
1070 return (gethrtimeunscaledf()); in gethrtime_unscaled()