AMDIOMMU_PTE_PR
AMDIOMMU_PTE_IW | AMDIOMMU_PTE_PR |
pte->pte = VM_PAGE_TO_PHYS(ma[pi]) | pflags | AMDIOMMU_PTE_PR;