ibv_get_srq_num(3) on Linux

The text afc0e7032426, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

return srq number associated with the given shared receive queue (SRQ)