Lines Matching refs:rcv_nxt
554 KASSERT(SEQ_GEQ(th->th_seq, tp->rcv_nxt),
570 * the rcv_nxt <-> rcv_wnd but thats
587 if ((th->th_seq != tp->rcv_nxt || !TCPS_HAVEESTABLISHED(tp->t_state)) &&
727 if (SEQ_LT(th->th_seq, tp->rcv_nxt)) {
735 panic("th->th_seq:%u rcv_nxt:%u tp:%p not pre-trimmed",
736 th->th_seq, tp->rcv_nxt, tp);
738 i = tp->rcv_nxt - th->th_seq;
950 if (th->th_seq == tp->rcv_nxt && TCPS_HAVEESTABLISHED(tp->t_state)) {
951 tp->rcv_nxt += *tlenp;
1043 * Present data to user, advancing rcv_nxt through
1049 KASSERT(q == NULL || SEQ_GEQ(q->tqe_start, tp->rcv_nxt),
1051 if (!q || q->tqe_start != tp->rcv_nxt) {
1059 tp->rcv_nxt += q->tqe_len;
1090 } while (q && q->tqe_start == tp->rcv_nxt);