ms_hyperv_tsc_page  121 arch/x86/entry/vdso/vma.c 		struct ms_hyperv_tsc_page *tsc_pg = hv_get_tsc_page();
ms_hyperv_tsc_page   55 arch/x86/include/asm/vdso/gettimeofday.h extern struct ms_hyperv_tsc_page hvclock_page
ms_hyperv_tsc_page  216 drivers/clocksource/hyperv_timer.c static struct ms_hyperv_tsc_page tsc_pg __aligned(PAGE_SIZE);
ms_hyperv_tsc_page  218 drivers/clocksource/hyperv_timer.c struct ms_hyperv_tsc_page *hv_get_tsc_page(void)
ms_hyperv_tsc_page   35 include/clocksource/hyperv_timer.h extern struct ms_hyperv_tsc_page *hv_get_tsc_page(void);
ms_hyperv_tsc_page   38 include/clocksource/hyperv_timer.h hv_read_tsc_page_tsc(const struct ms_hyperv_tsc_page *tsc_pg, u64 *cur_tsc)
ms_hyperv_tsc_page   85 include/clocksource/hyperv_timer.h hv_read_tsc_page(const struct ms_hyperv_tsc_page *tsc_pg)
ms_hyperv_tsc_page   93 include/clocksource/hyperv_timer.h static inline struct ms_hyperv_tsc_page *hv_get_tsc_page(void)
ms_hyperv_tsc_page   98 include/clocksource/hyperv_timer.h static inline u64 hv_read_tsc_page_tsc(const struct ms_hyperv_tsc_page *tsc_pg,