Home
last modified time | relevance | path

Searched refs:vfio_device_put (Results 1 – 3 of 3) sorted by relevance

/linux-4.4.14/drivers/vfio/
Dvfio.c410 void vfio_device_put(struct vfio_device *device) in vfio_device_put() function
416 EXPORT_SYMBOL_GPL(vfio_device_put);
513 vfio_device_put(device); in vfio_dev_viable()
530 vfio_device_put(device); in vfio_group_nb_add_dev()
660 vfio_device_put(device); in vfio_add_group_dev()
747 vfio_device_put(device); in vfio_dev_present()
788 vfio_device_put(device); in vfio_del_group_dev()
806 vfio_device_put(device); in vfio_del_group_dev()
1250 vfio_device_put(device); in vfio_group_get_device_fd()
1261 vfio_device_put(device); in vfio_group_get_device_fd()
[all …]
/linux-4.4.14/include/linux/
Dvfio.h53 extern void vfio_device_put(struct vfio_device *device);
/linux-4.4.14/drivers/vfio/pci/
Dvfio_pci.c1025 vfio_device_put(device); in vfio_pci_aer_err_detected()
1036 vfio_device_put(device); in vfio_pci_aer_err_detected()
1072 vfio_device_put(device); in vfio_pci_get_devs()
1138 vfio_device_put(devs.devices[i]); in vfio_pci_try_bus_reset()