mlx5dv_get_vfio_device_list(3) on Linux

The text fb0a71d6b31d, as Debian 12 (Bookworm) shipped it.

Get list of available devices to be used over VFIO

mlx5dv_get_vfio_device_list(3) on Linux now