The text 09638a2d7673, as Debian 10 (Buster) shipped it.
get an RDMA device's name
ibv_get_device_name(3) on Linux now
