vmx_leave_nested  319 arch/x86/kvm/vmx/nested.c 	vmx_leave_nested(vcpu);
vmx_leave_nested 5685 arch/x86/kvm/vmx/nested.c 	vmx_leave_nested(vcpu);
vmx_leave_nested   19 arch/x86/kvm/vmx/nested.h void vmx_leave_nested(struct kvm_vcpu *vcpu);
vmx_leave_nested 2049 arch/x86/kvm/vmx/vmx.c 			vmx_leave_nested(vcpu);