ibv_get_srq_num(3) on Linux

The text 604bd3e55343, as Debian 11 (Bullseye) shipped it.

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

ibv_get_srq_num(3) on Linux now