DMAR_PTE_TM
((eflags & IOMMU_MAP_ENTRY_TM) != 0 ? DMAR_PTE_TM : 0);
DMAR_PTE_TM)) == 0,
KASSERT((pflags & DMAR_PTE_TM) == 0 ||