linux_old1/drivers/vfio/pci
Alex Williamson 6140a8f562 vfio-pci: Add device request interface
Userspace can opt to receive a device request notification,
indicating that the device should be released.  This is setup
the same way as the error IRQ and also supports eventfd signaling.
Future support may forcefully remove the device from the user if
the request is ignored.

Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
2015-02-10 12:38:14 -07:00
..
Kconfig vfio: make vfio run on s390 2014-11-07 09:52:22 -07:00
Makefile
vfio_pci.c vfio-pci: Add device request interface 2015-02-10 12:38:14 -07:00
vfio_pci_config.c vfio: make vfio run on s390 2014-11-07 09:52:22 -07:00
vfio_pci_intrs.c vfio-pci: Add device request interface 2015-02-10 12:38:14 -07:00
vfio_pci_private.h vfio-pci: Add device request interface 2015-02-10 12:38:14 -07:00
vfio_pci_rdwr.c vfio-pci: Add support for VGA region access 2013-02-18 10:11:13 -07:00