domain_flush_cache(domain, tmp_page, VTD_PAGE_SIZE);
pteval = ((uint64_t)virt_to_dma_pfn(tmp_page) << VTD_PAGE_SHIFT) | DMA_PTE_READ | DMA_PTE_WRITE;
- if (domain_use_first_level(domain))
------- -- if (domain_use_first_level(domain)) {
------- -- pteval |= DMA_FL_PTE_XD | DMA_FL_PTE_US;
------- -- if (iommu_is_dma_domain(&domain->domain))
------- -- pteval |= DMA_FL_PTE_ACCESS;
------- -- }
++++++++ ++ if (domain->use_first_level)
+++++++ ++ pteval |= DMA_FL_PTE_XD | DMA_FL_PTE_US | DMA_FL_PTE_ACCESS;
+++++++ ++
if (cmpxchg64(&pte->val, 0ULL, pteval))
/* Someone else set it while we were thinking; use theirs. */
free_pgtable_page(tmp_page);