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(),