The text 3afb91e84858, as Debian 13 (Trixie) shipped it.
get an RDMA device’s name
ibv_get_device_name(3) on Linux now
