Symbol: nested_put_vmcs12_pages
arch/x86/kvm/vmx/nested.c
372
nested_put_vmcs12_pages(vcpu);
arch/x86/kvm/vmx/nested.c
3771
nested_put_vmcs12_pages(vcpu);
arch/x86/kvm/vmx/nested.c
5167
nested_put_vmcs12_pages(vcpu);