nested_release_vmcs12 4573 arch/x86/kvm/vmx/nested.c 			nested_release_vmcs12(vcpu);
nested_release_vmcs12 4858 arch/x86/kvm/vmx/nested.c 		nested_release_vmcs12(vcpu);