domain_add_dev_info 5409 drivers/iommu/intel-iommu.c 	return domain_add_dev_info(to_dmar_domain(domain), dev);
domain_add_dev_info 5611 drivers/iommu/intel-iommu.c 				domain_add_dev_info(si_domain, dev);