Alex Williamson 20e7745784 vfio-pci: Use fdget() rather than eventfd_fget() ... eventfd_fget() tests to see whether the file is an eventfd file, which we then immediately pass to eventfd_ctx_fileget(), which again tests whether the file is an eventfd file. Simplify slightly by using fdget() so that we only test that we're looking at an eventfd once. fget() could also be used, but fdget() makes use of fget_light() for another slight optimization. Signed-off-by: Alex Williamson <alex.williamson@redhat.com>		2013-08-28 09:49:55 -06:00
..
Kconfig	drivers/vfio: remove depends on CONFIG_EXPERIMENTAL	2013-02-24 09:59:44 -07:00
Makefile	vfio: Add PCI device driver	2012-07-31 08:16:24 -06:00
vfio_pci.c	vfio-pci: Avoid deadlock on remove	2013-07-24 16:36:41 -06:00
vfio_pci_config.c	vfio updates for v3.10	2013-05-02 14:02:32 -07:00
vfio_pci_intrs.c	vfio-pci: Use fdget() rather than eventfd_fget()	2013-08-28 09:49:55 -06:00
vfio_pci_private.h	VFIO-AER: Vfio-pci driver changes for supporting AER	2013-03-11 09:31:22 -06:00
vfio_pci_rdwr.c	vfio-pci: Add support for VGA region access	2013-02-18 10:11:13 -07:00