construct_eptp   1990 arch/x86/kvm/vmx/nested.c 		vmcs_write64(EPT_POINTER, construct_eptp(&vmx->vcpu, 0));
construct_eptp   2979 arch/x86/kvm/vmx/vmx.c 		eptp = construct_eptp(vcpu, cr3);
construct_eptp    329 arch/x86/kvm/vmx/vmx.h u64 construct_eptp(struct kvm_vcpu *vcpu, unsigned long root_hpa);
construct_eptp    489 arch/x86/kvm/vmx/vmx.h u64 construct_eptp(struct kvm_vcpu *vcpu, unsigned long root_hpa);
construct_eptp    497 arch/x86/kvm/vmx/vmx.h 		ept_sync_context(construct_eptp(vcpu,