|
@@ -113,6 +113,7 @@ extern void iommu_register_group(struct iommu_table *tbl,
|
|
int pci_domain_number, unsigned long pe_num);
|
|
int pci_domain_number, unsigned long pe_num);
|
|
extern int iommu_add_device(struct device *dev);
|
|
extern int iommu_add_device(struct device *dev);
|
|
extern void iommu_del_device(struct device *dev);
|
|
extern void iommu_del_device(struct device *dev);
|
|
|
|
+extern int __init tce_iommu_bus_notifier_init(void);
|
|
#else
|
|
#else
|
|
static inline void iommu_register_group(struct iommu_table *tbl,
|
|
static inline void iommu_register_group(struct iommu_table *tbl,
|
|
int pci_domain_number,
|
|
int pci_domain_number,
|
|
@@ -128,6 +129,11 @@ static inline int iommu_add_device(struct device *dev)
|
|
static inline void iommu_del_device(struct device *dev)
|
|
static inline void iommu_del_device(struct device *dev)
|
|
{
|
|
{
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+static inline int __init tce_iommu_bus_notifier_init(void)
|
|
|
|
+{
|
|
|
|
+ return 0;
|
|
|
|
+}
|
|
#endif /* !CONFIG_IOMMU_API */
|
|
#endif /* !CONFIG_IOMMU_API */
|
|
|
|
|
|
static inline void set_iommu_table_base_and_group(struct device *dev,
|
|
static inline void set_iommu_table_base_and_group(struct device *dev,
|