IOMMUCTL_REG
iommu_read_8(iommu, IOMMUCTL_REG),
ov = iommu_read_8(iommu, IOMMUCTL_REG);
iommu_write_8(iommu, IOMMUCTL_REG, ov & ~(CTL_IOMMUEN | CTL_COHERENT |
iommu_write_8(iommu, IOMMUCTL_REG, ov);