Symbol: nested_get_vmcs12_pages
arch/x86/kvm/vmx/nested.c
3528
if (is_guest_mode(vcpu) && !nested_get_vmcs12_pages(vcpu))
arch/x86/kvm/vmx/nested.c
3664
if (unlikely(!nested_get_vmcs12_pages(vcpu))) {