leave_guest_mode 3375 arch/x86/kvm/svm.c 	leave_guest_mode(&svm->vcpu);
leave_guest_mode 3176 arch/x86/kvm/vmx/nested.c 	leave_guest_mode(vcpu);
leave_guest_mode 4082 arch/x86/kvm/vmx/nested.c 	leave_guest_mode(vcpu);