drivers/vfio/device_cdev.c

52

vfio_device_put_registration(device);

drivers/vfio/group.c

316

vfio_device_put_registration(device);

drivers/vfio/pci/vfio_pci_dmabuf.c

309

vfio_device_put_registration(&vdev->vdev);

drivers/vfio/pci/vfio_pci_dmabuf.c

356

vfio_device_put_registration(&vdev->vdev);

drivers/vfio/pci/vfio_pci_dmabuf.c

82

vfio_device_put_registration(&priv->vdev->vdev);

drivers/vfio/vfio.h

30

void vfio_device_put_registration(struct vfio_device *device);

drivers/vfio/vfio_main.c

175

EXPORT_SYMBOL_GPL(vfio_device_put_registration);

drivers/vfio/vfio_main.c

406

vfio_device_put_registration(device);

drivers/vfio/vfio_main.c

642

vfio_device_put_registration(device);

include/linux/vfio.h

305

void vfio_device_put_registration(struct vfio_device *device);