Searched refs:tsc_gethrtime_tick_delta (Results 1 – 3 of 3) sorted by relevance
638 extern hrtime_t tsc_gethrtime_tick_delta(void); in vmm_host_tsc_delta()639 return (tsc_gethrtime_tick_delta()); in vmm_host_tsc_delta()
234 extern hrtime_t tsc_gethrtime_tick_delta(void);
293 tsc_gethrtime_tick_delta(void) in tsc_gethrtime_tick_delta() function