Lines Matching refs:eptp
475 noinline void invept_error(unsigned long ext, u64 eptp, gpa_t gpa)
477 vmx_insn_failed("invept failed: ext=0x%lx eptp=%llx gpa=0x%llx\n",
478 ext, eptp, gpa);
3378 u64 eptp = VMX_EPTP_MT_WB;
3380 eptp |= (root_level == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;
3384 eptp |= VMX_EPTP_AD_ENABLE_BIT;
3385 eptp |= root_hpa;
3387 return eptp;
3396 u64 eptp;
3399 eptp = construct_eptp(vcpu, root_hpa, root_level);
3400 vmcs_write64(EPT_POINTER, eptp);