diff options
| author | Alex Williamson | 2013-08-28 09:49:55 -0600 |
|---|---|---|
| committer | Alex Williamson | 2013-08-28 09:49:55 -0600 |
| commit | 20e77457842f4cd253d093f08f0cce1a73afb7db (patch) | |
| tree | 71a07512440030967a93396992aa5eeaa7d0f991 /include/video/sh_mipi_dsi.h | |
| 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>
Diffstat (limited to 'include/video/sh_mipi_dsi.h')
0 files changed, 0 insertions, 0 deletions