> From: Liu, Yi L <[email protected]> > Sent: Thursday, March 16, 2023 8:42 PM > @@ -2469,7 +2469,8 @@ static int vfio_pci_dev_set_hot_reset(struct > vfio_device_set *dev_set, > * cannot race being opened by another user simultaneously. > * > * Otherwise all opened devices in the dev_set must be > - * contained by the set of groups provided by the user. > + * contained by the set of groups/devices provided by > + * the user.
just a nit. You may want to add "devices" in the last patch. Reviewed-by: Kevin Tian <[email protected]>
