Symbol: vmware_get_tsc_khz
arch/x86/kernel/cpu/vmware.c
421
x86_platform.calibrate_tsc = vmware_get_tsc_khz;
arch/x86/kernel/cpu/vmware.c
422
x86_platform.calibrate_cpu = vmware_get_tsc_khz;