Searched refs:read_hv_clock_tsc (Results 1 – 1 of 1) sorted by relevance
424 static __always_inline u64 read_hv_clock_tsc(void) in read_hv_clock_tsc() function442 return read_hv_clock_tsc(); in read_hv_clock_tsc_cs()447 return (read_hv_clock_tsc() - hv_sched_clock_offset) * in read_hv_sched_clock_tsc()554 hv_read_reference_counter = read_hv_clock_tsc; in hv_init_tsc_clocksource()