set_iommu_domain 1753 drivers/iommu/intel-iommu.c 		set_iommu_domain(iommu, num, domain);
set_iommu_domain 1777 drivers/iommu/intel-iommu.c 		set_iommu_domain(iommu, num, NULL);