nested_ept_get_cr3  355 arch/x86/kvm/vmx/nested.c 			nested_ept_get_cr3(vcpu));
nested_ept_get_cr3  357 arch/x86/kvm/vmx/nested.c 	vcpu->arch.mmu->get_cr3           = nested_ept_get_cr3;
nested_ept_get_cr3   70 arch/x86/kvm/vmx/nested.h 	return nested_ept_get_cr3(vcpu) & VMX_EPTP_AD_ENABLE_BIT;