s390_domain_device   91 drivers/iommu/s390-iommu.c 	struct s390_domain_device *domain_device;
s390_domain_device  143 drivers/iommu/s390-iommu.c 	struct s390_domain_device *domain_device, *tmp;
s390_domain_device  213 drivers/iommu/s390-iommu.c 	struct s390_domain_device *domain_device;