Searched refs:hv_read_reference_counter (Results 1 – 4 of 4) sorted by relevance
82 current_tick = hv_read_reference_counter(); in hv_ce_set_next_event()528 hv_read_reference_counter = read_hv_clock_tsc; in hv_init_tsc_clocksource()557 hv_sched_clock_offset = hv_read_reference_counter(); in hv_init_tsc_clocksource()579 hv_read_reference_counter = read_hv_clock_msr; in hv_init_clocksource()582 hv_sched_clock_offset = hv_read_reference_counter(); in hv_init_clocksource()
252 u64 (*hv_read_reference_counter)(void) = __hv_read_ref_counter; variable253 EXPORT_SYMBOL_GPL(hv_read_reference_counter);
316 reftime = hv_read_reference_counter(); in hv_get_adj_host_time()371 cur_reftime = hv_read_reference_counter(); in adj_guesttime()464 hv_read_reference_counter(), in timesync_onchannelcallback()
179 extern u64 (*hv_read_reference_counter)(void);
Completed in 7 milliseconds