IOMMU_ENABLE_REG
iommu_write(iommu, IOMMU_ENABLE_REG, IOMMU_ENABLE_ENABLE);
iommu_write(iommu, IOMMU_ENABLE_REG, 0);