Searched refs:file_idx (Results 1 – 1 of 1) sorted by relevance
1259 int file_idx, count = 0, ret = 0; in vfio_pci_ioctl_pci_hot_reset() local1307 for (file_idx = 0; file_idx < hdr.count; file_idx++) { in vfio_pci_ioctl_pci_hot_reset()1308 struct file *file = fget(group_fds[file_idx]); in vfio_pci_ioctl_pci_hot_reset()1322 files[file_idx] = file; in vfio_pci_ioctl_pci_hot_reset()1337 for (file_idx--; file_idx >= 0; file_idx--) in vfio_pci_ioctl_pci_hot_reset()1338 fput(files[file_idx]); in vfio_pci_ioctl_pci_hot_reset()
