Symbol: hv_read_tsc_page_tsc
arch/x86/include/asm/vdso/gettimeofday.h
139
if (hv_read_tsc_page_tsc(&hvclock_page, &tsc, &time))
arch/x86/kvm/x86.c
2936
if (hv_read_tsc_page_tsc(hv_get_tsc_page(),
drivers/clocksource/hyperv_timer.c
436
if (!hv_read_tsc_page_tsc(tsc_page, &cur_tsc, &time))