> From: Anthony DeRossi <ajderossi@xxxxxxxxx> > Sent: Sunday, November 6, 2022 6:45 AM > > The open count of a device set is the sum of the open counts of all > devices in the set. Drivers can use this value to determine whether > shared resources are in use without tracking them manually or accessing > the private open_count in vfio_device. > > Signed-off-by: Anthony DeRossi <ajderossi@xxxxxxxxx> Apart from remarks from Alex/Jason, good to me: Reviewed-by: Kevin Tian <kevin.tian@xxxxxxxxx>
