The text 44e6213f67c1, as Debian 12 (Bookworm) shipped it.
get an RDMA device’s name
ibv_get_device_name(3) on Linux now
