hv_read_tsc_page_tsc 2089 arch/x86/kvm/x86.c 		tsc_pg_val = hv_read_tsc_page_tsc(hv_get_tsc_page(),
hv_read_tsc_page_tsc   89 include/clocksource/hyperv_timer.h 	return hv_read_tsc_page_tsc(tsc_pg, &cur_tsc);