vmware_get_tsc_khz  194 arch/x86/kernel/cpu/vmware.c 		x86_platform.calibrate_tsc = vmware_get_tsc_khz;
vmware_get_tsc_khz  195 arch/x86/kernel/cpu/vmware.c 		x86_platform.calibrate_cpu = vmware_get_tsc_khz;