hv_read_tsc_page  234 arch/x86/include/asm/vdso/gettimeofday.h 	return hv_read_tsc_page(&hvclock_page);
hv_read_tsc_page  226 drivers/clocksource/hyperv_timer.c 	u64 current_tick = hv_read_tsc_page(&tsc_pg);