mlx5dv_devx_subscribe_devx_event(3) on Linux
The text eefaea57dd2c, as Debian 12 (Bookworm) shipped it.
Subscribe over an event channel for device events. mlx5dv_devx_subscribe_devx_event_fd - Subscribe over an event channel for device events to signal eventfd.