ibv_get_srq_num(3) on Linux

The text 297f92a39a92, as Debian 12 (Bookworm) shipped it.

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

ibv_get_srq_num(3) on Linux now