Update iommu.c