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);