Symbol: nested_ept_get_eptp
arch/x86/kvm/vmx/nested.c
476
nested_ept_get_eptp(vcpu));
arch/x86/kvm/vmx/nested.c
485
vcpu->arch.mmu->get_guest_pgd = nested_ept_get_eptp;
arch/x86/kvm/vmx/nested.h
103
return nested_ept_get_eptp(vcpu) & VMX_EPTP_AD_ENABLE_BIT;