hv_get_tsc_page   121 arch/x86/entry/vdso/vma.c 		struct ms_hyperv_tsc_page *tsc_pg = hv_get_tsc_page();
hv_get_tsc_page  2089 arch/x86/kvm/x86.c 		tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(),
hv_get_tsc_page   222 drivers/clocksource/hyperv_timer.c EXPORT_SYMBOL_GPL(hv_get_tsc_page);
hv_get_tsc_page    35 include/clocksource/hyperv_timer.h extern struct ms_hyperv_tsc_page *hv_get_tsc_page(void);