vmxarea           393 arch/x86/kvm/vmx/vmx.c static DEFINE_PER_CPU(struct vmcs *, vmxarea);
vmxarea          2226 arch/x86/kvm/vmx/vmx.c 	u64 phys_addr = __pa(per_cpu(vmxarea, cpu));
vmxarea          2588 arch/x86/kvm/vmx/vmx.c 		free_vmcs(per_cpu(vmxarea, cpu));
vmxarea          2589 arch/x86/kvm/vmx/vmx.c 		per_cpu(vmxarea, cpu) = NULL;
vmxarea          2619 arch/x86/kvm/vmx/vmx.c 		per_cpu(vmxarea, cpu) = vmcs;