vmx_switch_vmcs   320 arch/x86/kvm/vmx/nested.c 	vmx_switch_vmcs(vcpu, &to_vmx(vcpu)->vmcs01);
vmx_switch_vmcs  3092 arch/x86/kvm/vmx/nested.c 	vmx_switch_vmcs(vcpu, &vmx->nested.vmcs02);
vmx_switch_vmcs  3101 arch/x86/kvm/vmx/nested.c 			vmx_switch_vmcs(vcpu, &vmx->vmcs01);
vmx_switch_vmcs  3179 arch/x86/kvm/vmx/nested.c 	vmx_switch_vmcs(vcpu, &vmx->vmcs01);
vmx_switch_vmcs  4119 arch/x86/kvm/vmx/nested.c 	vmx_switch_vmcs(vcpu, &vmx->vmcs01);