vfio_devices     1527 drivers/vfio/pci/vfio_pci.c 	struct vfio_devices *devs = data;
vfio_devices     1573 drivers/vfio/pci/vfio_pci.c 	struct vfio_devices devs = { .cur_index = 0 };