The text 86d5a12a2465, as Debian 11 (Bullseye) shipped it.
get an RDMA device index
ibv_get_device_index(3) on Linux now