diff options
| author | Alex Williamson <alex.williamson@redhat.com> | 2015-02-06 15:05:08 -0700 |
|---|---|---|
| committer | Alex Williamson <alex.williamson@redhat.com> | 2015-02-10 12:38:14 -0700 |
| commit | 6140a8f5623820cec7f56c63444b9551d8d35775 (patch) | |
| tree | 6493763d0a2122ca2258fc4b4b31801cd688b68f /drivers/vfio/pci/Makefile | |
| parent | cac80d6e382f63243ee4f31eb55afe22ed423e53 (diff) | |
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>
Diffstat (limited to 'drivers/vfio/pci/Makefile')
0 files changed, 0 insertions, 0 deletions