iommu_del_device  209 arch/powerpc/include/asm/iommu.h extern void iommu_del_device(struct device *dev);
iommu_del_device 1140 arch/powerpc/kernel/iommu.c EXPORT_SYMBOL_GPL(iommu_del_device);
iommu_del_device 1006 arch/powerpc/platforms/powernv/pci.c 		iommu_del_device(dev);
iommu_del_device 1360 arch/powerpc/platforms/pseries/iommu.c 		iommu_del_device(dev);