The text f1ccf99adb4c, as Debian 11 (Bullseye) shipped it.
get an RDMA device’s name
ibv_get_device_name(3) on Linux now