The text 72f27bd4c8a0, as Debian 10 (Buster) shipped it.
Set communication options for an rdma_cm_id.
rdma_set_option(3) on Linux now
