Symbol: vmware_cmd_stealclock
arch/x86/kernel/cpu/vmware.c
198
return vmware_cmd_stealclock(upper_32_bits(pa),
arch/x86/kernel/cpu/vmware.c
204
return vmware_cmd_stealclock(0, 1);