iommu_aux_detach_device 2433 drivers/iommu/iommu.c EXPORT_SYMBOL_GPL(iommu_aux_detach_device);
iommu_aux_detach_device 1374 drivers/vfio/vfio_iommu_type1.c 			iommu_aux_detach_device(domain, iommu_device);
iommu_aux_detach_device  599 include/linux/iommu.h void iommu_aux_detach_device(struct iommu_domain *domain, struct device *dev);