vfio_iommu_detach_group 1805 drivers/vfio/vfio_iommu_type1.c 			vfio_iommu_detach_group(domain, group);
vfio_iommu_detach_group 1842 drivers/vfio/vfio_iommu_type1.c 	vfio_iommu_detach_group(domain, group);
vfio_iommu_detach_group 2023 drivers/vfio/vfio_iommu_type1.c 		vfio_iommu_detach_group(domain, group);
vfio_iommu_detach_group 2096 drivers/vfio/vfio_iommu_type1.c 			vfio_iommu_detach_group(domain, group);