hvclock_page       55 arch/x86/include/asm/vdso/gettimeofday.h extern struct ms_hyperv_tsc_page hvclock_page
hvclock_page      234 arch/x86/include/asm/vdso/gettimeofday.h 	return hv_read_tsc_page(&hvclock_page);