The text 0485d4ddbebe, as Debian 13 (Trixie) shipped it.
Get the file descriptor to manage driver events.
mlx5dv_vfio_get_events_fd(3) on Linux now
