vfio_device_data 1409 drivers/vfio/pci/vfio_pci.c vdev = vfio_device_data(device); vfio_device_data 1475 drivers/vfio/pci/vfio_pci.c vdev = vfio_device_data(device); vfio_device_data 1543 drivers/vfio/pci/vfio_pci.c vdev = vfio_device_data(device); vfio_device_data 1599 drivers/vfio/pci/vfio_pci.c tmp = vfio_device_data(devs.devices[i]); vfio_device_data 1608 drivers/vfio/pci/vfio_pci.c tmp = vfio_device_data(devs.devices[i]); vfio_device_data 900 drivers/vfio/vfio.c EXPORT_SYMBOL_GPL(vfio_device_data); vfio_device_data 54 include/linux/vfio.h extern void *vfio_device_data(struct vfio_device *device);