check_psn         605 drivers/infiniband/sw/rxe/rxe_comp.c 			state = check_psn(qp, pkt, wqe);
check_psn        1255 drivers/infiniband/sw/rxe/rxe_resp.c 			state = check_psn(qp, pkt);