Symbol: nested_release_vmcs12
arch/x86/kvm/vmx/nested.c
5613
nested_release_vmcs12(vcpu);
arch/x86/kvm/vmx/nested.c
5924
nested_release_vmcs12(vcpu);