The text 5fa2f426fd96, as Debian 13 (Trixie) shipped it.
Get an asynchronous event.
mlx5dv_devx_get_event(3) on Linux now