|
@@ -141,10 +141,12 @@ struct iommu_ops *of_iommu_configure(struct device *dev,
|
|
struct iommu_ops *ops = NULL;
|
|
struct iommu_ops *ops = NULL;
|
|
int idx = 0;
|
|
int idx = 0;
|
|
|
|
|
|
- if (dev_is_pci(dev)) {
|
|
|
|
- dev_err(dev, "IOMMU is currently not supported for PCI\n");
|
|
|
|
|
|
+ /*
|
|
|
|
+ * We can't do much for PCI devices without knowing how
|
|
|
|
+ * device IDs are wired up from the PCI bus to the IOMMU.
|
|
|
|
+ */
|
|
|
|
+ if (dev_is_pci(dev))
|
|
return NULL;
|
|
return NULL;
|
|
- }
|
|
|
|
|
|
|
|
/*
|
|
/*
|
|
* We don't currently walk up the tree looking for a parent IOMMU.
|
|
* We don't currently walk up the tree looking for a parent IOMMU.
|