| commit | 20e77457842f4cd253d093f08f0cce1a73afb7db | [log] [tgz] |
|---|---|---|
| author | Alex Williamson <alex.williamson@redhat.com> | Wed Aug 28 09:49:55 2013 -0600 |
| committer | Alex Williamson <alex.williamson@redhat.com> | Wed Aug 28 09:49:55 2013 -0600 |
| tree | 71a07512440030967a93396992aa5eeaa7d0f991 | |
| parent | 5d042fbdbb2df46c9185942a0c6fe280906ba70c [diff] |
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>