vmw_sched_clock   106 arch/x86/kernel/cpu/vmware.c static int vmw_sched_clock __initdata = 1;
vmw_sched_clock   110 arch/x86/kernel/cpu/vmware.c 	vmw_sched_clock = 0;
vmw_sched_clock   144 arch/x86/kernel/cpu/vmware.c 	if (vmware_tsc_khz && vmw_sched_clock)