ibv_get_srq_num(3) on Linux

The text 0758e2e9cbb8, as Debian 13 (Trixie) shipped it.

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

ibv_get_srq_num(3) on Linux now