rdma_get_devices(3) on Linux

The text 43994d124da7, as Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

Get a list of RDMA devices currently available.