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 };