The text 2cbb347d6542, as Debian 13 (Trixie) shipped it.
process vfio driver events
mlx5dv_vfio_process_events(3) on Linux now
