Searched refs:hv_read_reference_counter (Results 1 – 3 of 3) sorted by relevance
69 current_tick = hv_read_reference_counter(); in hv_ce_set_next_event()315 u64 (*hv_read_reference_counter)(void); variable316 EXPORT_SYMBOL_GPL(hv_read_reference_counter);429 hv_read_reference_counter = read_hv_clock_tsc; in hv_init_tsc_clocksource()447 hv_sched_clock_offset = hv_read_reference_counter(); in hv_init_tsc_clocksource()469 hv_read_reference_counter = read_hv_clock_msr; in hv_init_clocksource()472 hv_sched_clock_offset = hv_read_reference_counter(); in hv_init_clocksource()
302 reftime = hv_read_reference_counter(); in hv_get_adj_host_time()357 cur_reftime = hv_read_reference_counter(); in adj_guesttime()435 hv_read_reference_counter(), in timesync_onchannelcallback()685 if (!hv_read_reference_counter) in hv_timesync_init()
33 extern u64 (*hv_read_reference_counter)(void);
