s390_iommu_detach_device  202 drivers/iommu/s390-iommu.c 			s390_iommu_detach_device(domain, dev);
s390_iommu_detach_device  372 drivers/iommu/s390-iommu.c 	.detach_dev = s390_iommu_detach_device,