Symbol: read_hv_clock_tsc
drivers/clocksource/hyperv_timer.c
444
return read_hv_clock_tsc();
drivers/clocksource/hyperv_timer.c
449
return (read_hv_clock_tsc() - hv_sched_clock_offset) *
drivers/clocksource/hyperv_timer.c
577
hv_read_reference_counter = read_hv_clock_tsc;