kvm/vmx/vmx.c

466 noinline void invept_error(unsigned long ext, u64 eptp)
468 	vmx_insn_failed("invept failed: ext=0x%lx eptp=%llx\n", ext, eptp);
3370 	u64 eptp = VMX_EPTP_MT_WB;
3372 	eptp |= (root_level == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;
3376 		eptp |= VMX_EPTP_AD_ENABLE_BIT;
3377 	eptp |= root_hpa;
3379 	return eptp;
3387 	u64 eptp;
3390 		eptp = construct_eptp(vcpu, root_hpa, root_level);
3391 		vmcs_write64(EPT_POINTER, eptp);