The text cf9c2b00437b, as Debian 13 (Trixie) shipped it.
get an RDMA device index
ibv_get_device_index(3) on Linux now
