/* find_domain Note: we use struct pci_dev->dev.archdata.iommu stores the info  */
static struct dmar_domain* find_domain(struct pci_dev *pdev)
/* find_domain Note: we use struct pci_dev->dev.archdata.iommu stores the info  */
static struct dmar_domain* find_domain(struct pci_dev *pdev)
{
	struct device_domain_info *info;
	info = pdev->dev.archdata.iommu;
	if (info)
		return info->domain;
	return NULL;
}