};
}
---- --extern int bus_iommu_probe(const struct bus_type *bus);
+extern bool iommu_present(const struct bus_type *bus);
extern bool device_iommu_capable(struct device *dev, enum iommu_cap cap);
extern bool iommu_group_has_isolated_msi(struct iommu_group *group);
------ extern struct iommu_domain *iommu_domain_alloc(const struct bus_type *bus);
------ struct iommu_domain *iommu_paging_domain_alloc(struct device *dev);
++++++ struct iommu_domain *iommu_paging_domain_alloc_flags(struct device *dev, unsigned int flags);
++++++ static inline struct iommu_domain *iommu_paging_domain_alloc(struct device *dev)
++++++ {
++++++ return iommu_paging_domain_alloc_flags(dev, 0);
++++++ }
extern void iommu_domain_free(struct iommu_domain *domain);
extern int iommu_attach_device(struct iommu_domain *domain,
struct device *dev);