alloc_vmcs_cpu   1222 arch/x86/kvm/vmx.c 	return alloc_vmcs_cpu(raw_smp_processor_id());
alloc_vmcs_cpu   1245 arch/x86/kvm/vmx.c 		vmcs = alloc_vmcs_cpu(cpu);