The text 9a9bc748278f, as Debian 5.0 (Lenny) shipped it.
get an RDMA device's name
ibv_get_device_name(3) on Linux now
