Update iommu_domains.c