Symbol: check_psn
drivers/infiniband/sw/rxe/rxe_comp.c
694
state = check_psn(qp, pkt, wqe);
drivers/infiniband/sw/rxe/rxe_resp.c
1537
state = check_psn(qp, pkt);