hv_get_tsc_khz    257 arch/x86/kernel/cpu/mshyperv.c 		x86_platform.calibrate_tsc = hv_get_tsc_khz;
hv_get_tsc_khz    258 arch/x86/kernel/cpu/mshyperv.c 		x86_platform.calibrate_cpu = hv_get_tsc_khz;