iommu_write_4
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd | GCMD_SRTP);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd | GCMD_WBF);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_GCMD_REG, iommu->gcmd);
iommu_write_4(iommu, DMAR_FSTS_REG, FSTS_PFO | FSTS_PPF);
iommu_write_4(iommu, DMAR_FECTL_REG, sts & ~FECTL_IM);
iommu_write_4(iommu, EVT_HEAD_REG, head);
iommu_write_4(iommu, CMD_TAIL_REG, next);
iommu_write_4(iommu, CMD_HEAD_REG, 0x00);
iommu_write_4(iommu, CMD_TAIL_REG, 0x00);
iommu_write_4(iommu, EVT_HEAD_REG, 0x00);
iommu_write_4(iommu, EVT_TAIL_REG, 0x00);
void iommu_write_4(struct iommu_softc *, int, uint32_t);
iommu_write_4(iommu, DMAR_FEDATA_REG, iommu->fedata);
iommu_write_4(iommu, DMAR_FEADDR_REG, iommu->feaddr);
iommu_write_4(iommu, DMAR_FEUADDR_REG,
iommu_write_4(iommu, DMAR_FECTL_REG, FECTL_IM);
iommu_write_4(iommu, DMAR_FECTL_REG, 0);
iommu_write_4(iommu, DMAR_FEDATA_REG, vec);
iommu_write_4(iommu, DMAR_FEADDR_REG, iommu->feaddr);
iommu_write_4(iommu, DMAR_FEUADDR_REG, iommu->feaddr >> 32);
iommu_write_4(iommu, DMAR_FSTS_REG, FSTS_PFO | FSTS_PPF);