tavor_wql_refcnt_dec
tavor_wql_refcnt_dec(srq->srq_wrid_wql);
tavor_wql_refcnt_dec(srq->srq_wrid_wql);
tavor_wql_refcnt_dec(wqhdr->wq_wrid_wql);
void tavor_wql_refcnt_dec(tavor_wq_lock_t *wq_lock);