Lines Matching refs:eptp
464 noinline void invept_error(unsigned long ext, u64 eptp, gpa_t gpa)
466 vmx_insn_failed("kvm: invept failed: ext=0x%lx eptp=%llx gpa=0x%llx\n",
467 ext, eptp, gpa);
3165 u64 eptp = VMX_EPTP_MT_WB;
3167 eptp |= (root_level == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;
3171 eptp |= VMX_EPTP_AD_ENABLE_BIT;
3172 eptp |= (root_hpa & PAGE_MASK);
3174 return eptp;
3183 u64 eptp;
3186 eptp = construct_eptp(vcpu, pgd, pgd_level);
3187 vmcs_write64(EPT_POINTER, eptp);
3191 to_vmx(vcpu)->ept_pointer = eptp;