On Thu, Mar 16, 2023 at 05:41:51AM -0700, Yi Liu wrote: > If the affected device is not opened by any user, it's safe to reset it > given it's not in use. > > Reviewed-by: Kevin Tian <[email protected]> > Signed-off-by: Yi Liu <[email protected]> > --- > drivers/vfio/pci/vfio_pci_core.c | 14 +++++++++++--- > include/uapi/linux/vfio.h | 8 ++++++++ > 2 files changed, 19 insertions(+), 3 deletions(-)
Reviewed-by: Jason Gunthorpe <[email protected]> Jason
