Symbol: nested_put_vmcs12_pages
arch/x86/kvm/vmx/nested.c
365
nested_put_vmcs12_pages(vcpu);
arch/x86/kvm/vmx/nested.c
5152
nested_put_vmcs12_pages(vcpu);