DMAR_FSTS_REG
iommu_write_4(iommu, DMAR_FSTS_REG, FSTS_PFO | FSTS_PPF);
sts = iommu_read_4(iommu, DMAR_FSTS_REG);