DMAR_PTE_W
DMAR_PTE_R | DMAR_PTE_W;
VM_PAGE_TO_PHYS(m1)) | DMAR_PTE_R | DMAR_PTE_W;
dmar_pte_store(&ptep->pte, DMAR_PTE_R | DMAR_PTE_W |
((eflags & IOMMU_MAP_ENTRY_WRITE) != 0 ? DMAR_PTE_W : 0) |
KASSERT((pflags & (DMAR_PTE_R | DMAR_PTE_W)) != 0,
KASSERT((pflags & ~(DMAR_PTE_R | DMAR_PTE_W | DMAR_PTE_SNP |