Searched refs:file_idx (Results 1 – 1 of 1) sorted by relevance
1333 int file_idx, count = 0, ret = 0; in vfio_pci_ioctl_pci_hot_reset_groups() local1367 for (file_idx = 0; file_idx < array_count; file_idx++) { in vfio_pci_ioctl_pci_hot_reset_groups()1368 struct file *file = fget(group_fds[file_idx]); in vfio_pci_ioctl_pci_hot_reset_groups()1382 files[file_idx] = file; in vfio_pci_ioctl_pci_hot_reset_groups()1397 for (file_idx--; file_idx >= 0; file_idx--) in vfio_pci_ioctl_pci_hot_reset_groups()1398 fput(files[file_idx]); in vfio_pci_ioctl_pci_hot_reset_groups()