ept_save_pdptrs  4006 arch/x86/kvm/vmx/nested.c 		ept_save_pdptrs(vcpu);
ept_save_pdptrs  2176 arch/x86/kvm/vmx/vmx.c 			ept_save_pdptrs(vcpu);
ept_save_pdptrs   326 arch/x86/kvm/vmx/vmx.h void ept_save_pdptrs(struct kvm_vcpu *vcpu);