Fix iommu_domains.c