Searched refs:tsc_gethrtime_tick_delta (Results 1 – 3 of 3) sorted by relevance
635 extern hrtime_t tsc_gethrtime_tick_delta(void); in vmm_host_tsc_delta()636 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