Searched refs:hv_read_reference_counter (Results 1 – 5 of 5) sorted by relevance
84 current_tick = hv_read_reference_counter(); in hv_ce_set_next_event()575 hv_read_reference_counter = read_hv_clock_tsc; in hv_init_tsc_clocksource()611 hv_sched_clock_offset = hv_read_reference_counter(); in hv_init_tsc_clocksource()
315 reftime = hv_read_reference_counter(); in hv_get_adj_host_time()393 cur_reftime = hv_read_reference_counter(); in adj_guesttime()487 hv_read_reference_counter(), in timesync_onchannelcallback()
639 u64 (*hv_read_reference_counter)(void) = __hv_read_ref_counter; variable640 EXPORT_SYMBOL_GPL(hv_read_reference_counter);
284 hv_ref_counter_at_suspend = hv_read_reference_counter(); in save_hv_clock_tsc_state()295 hv_adj_sched_clock_offset(hv_ref_counter_at_suspend - hv_read_reference_counter()); in restore_hv_clock_tsc_state()
202 extern u64 (*hv_read_reference_counter)(void);