On Fri, Jun 02, 2023 at 05:15:11AM -0700, Yi Liu wrote: > This is needed by the vfio-pci driver to report affected devices in the > hot-reset for a given device. > > Tested-by: Terrence Xu <terrence.xu@xxxxxxxxx> > Signed-off-by: Yi Liu <yi.l.liu@xxxxxxxxx> > --- > drivers/iommu/iommufd/device.c | 12 ++++++++++++ > include/linux/iommufd.h | 3 +++ > 2 files changed, 15 insertions(+) Reviewed-by: Jason Gunthorpe <jgg@xxxxxxxxxx> Jason