465 noinline void invept_error(unsigned long ext, u64 eptp, gpa_t gpa)  in invept_error()  argument
468 			ext, eptp, gpa);  in invept_error()
3149 	u64 eptp = VMX_EPTP_MT_WB;  in construct_eptp()  local
3151 	eptp |= (root_level == 5) ? VMX_EPTP_PWL_5 : VMX_EPTP_PWL_4;  in construct_eptp()
3155 		eptp |= VMX_EPTP_AD_ENABLE_BIT;  in construct_eptp()
3156 	eptp |= (root_hpa & PAGE_MASK);  in construct_eptp()
3158 	return eptp;  in construct_eptp()
3167 	u64 eptp;  in vmx_load_mmu_pgd()  local
3170 		eptp = construct_eptp(vcpu, pgd, pgd_level);  in vmx_load_mmu_pgd()
3171 		vmcs_write64(EPT_POINTER, eptp);  in vmx_load_mmu_pgd()
3175 			to_vmx(vcpu)->ept_pointer = eptp;  in vmx_load_mmu_pgd()