vfio_device_put   643 drivers/gpu/drm/i915/gvt/kvmgt.c 	vfio_device_put(((struct intel_vgpu *)vgpu)->vdev.vfio_device);
vfio_device_put  1411 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(device);
vfio_device_put  1422 drivers/vfio/pci/vfio_pci.c 	vfio_device_put(device);
vfio_device_put  1471 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(device);
vfio_device_put  1480 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(device);
vfio_device_put  1484 drivers/vfio/pci/vfio_pci.c 	vfio_device_put(device);
vfio_device_put  1539 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(device);
vfio_device_put  1547 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(device);
vfio_device_put  1624 drivers/vfio/pci/vfio_pci.c 		vfio_device_put(devs.devices[i]);
vfio_device_put   587 drivers/vfio/vfio.c EXPORT_SYMBOL_GPL(vfio_device_put);
vfio_device_put   679 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put   696 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put   830 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put   939 drivers/vfio/vfio.c 	vfio_device_put(device);
vfio_device_put   959 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put  1449 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put  1460 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put  1470 drivers/vfio/vfio.c 		vfio_device_put(device);
vfio_device_put  1641 drivers/vfio/vfio.c 	vfio_device_put(device);
vfio_device_put    53 include/linux/vfio.h extern void vfio_device_put(struct vfio_device *device);