Searched refs:read_hv_clock_tsc (Results 1 – 1 of 1) sorted by relevance
425 static __always_inline u64 read_hv_clock_tsc(void) in read_hv_clock_tsc() function443 return read_hv_clock_tsc(); in read_hv_clock_tsc_cs()448 return (read_hv_clock_tsc() - hv_sched_clock_offset) * in read_hv_sched_clock_tsc()566 hv_read_reference_counter = read_hv_clock_tsc; in hv_init_tsc_clocksource()