vfio-pci: Use fdget() rather than eventfd_fget()
authorAlex Williamson <alex.williamson@redhat.com>
Wed, 28 Aug 2013 15:49:55 +0000 (09:49 -0600)
committerAlex Williamson <alex.williamson@redhat.com>
Wed, 28 Aug 2013 15:49:55 +0000 (09:49 -0600)
commit20e77457842f4cd253d093f08f0cce1a73afb7db
tree71a07512440030967a93396992aa5eeaa7d0f991
parent5d042fbdbb2df46c9185942a0c6fe280906ba70c
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>
drivers/vfio/pci/vfio_pci_intrs.c