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