alloc_vmcs_cpu   2600 arch/x86/kvm/vmx/vmx.c 		vmcs = alloc_vmcs_cpu(false, cpu, GFP_KERNEL);
alloc_vmcs_cpu    476 arch/x86/kvm/vmx/vmx.h struct vmcs *alloc_vmcs_cpu(bool shadow, int cpu, gfp_t flags);
alloc_vmcs_cpu    485 arch/x86/kvm/vmx/vmx.h 	return alloc_vmcs_cpu(shadow, raw_smp_processor_id(),