ibv_get_srq_num(3) on Linux

The text 718fc3df3923, as Debian 10 (Buster) shipped it.

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

ibv_get_srq_num(3) on Linux now