Symbol: hv_get_tsc_page
arch/x86/kvm/x86.c
2936
if (hv_read_tsc_page_tsc(hv_get_tsc_page(),
drivers/clocksource/hyperv_timer.c
424
EXPORT_SYMBOL_GPL(hv_get_tsc_page);
include/clocksource/hyperv_timer.h
39
extern struct ms_hyperv_tsc_page *hv_get_tsc_page(void);