420 		tcp_respond(tp, instance, ip6, th, th->th_seq + tlen, (tcp_seq) 0, TH_RST | TH_ACK);  in tcp_dropwithreset()
827 		tp->irs = th->th_seq;  in tcp_input()
830 		tp->snd_wl1 = th->th_seq;  in tcp_input()
842 		tp->rcv_up = th->th_seq + 1;  in tcp_input()
1211 	    th->th_seq == tp->rcv_nxt &&  in tcp_do_segment()
1227 		    SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {  in tcp_do_segment()
1362 			tp->snd_wl1 = th->th_seq;  in tcp_do_segment()
1499 …} else if (!IS_FASTOPEN(tp->t_flags) && (thflags & TH_SYN) && !(thflags & TH_ACK) && (th->th_seq =…  in tcp_do_segment()
1556 		tp->irs = th->th_seq;  in tcp_do_segment()
1641 		th->th_seq++;  in tcp_do_segment()
1654 		tp->snd_wl1 = th->th_seq - 1;  in tcp_do_segment()
1655 		tp->rcv_up = th->th_seq;  in tcp_do_segment()
1706 		if ((SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&  in tcp_do_segment()
1707 		    SEQ_LT(th->th_seq, tp->last_ack_sent + tp->rcv_wnd)) ||  in tcp_do_segment()
1708 		    (tp->rcv_wnd == 0 && tp->last_ack_sent == th->th_seq)) {  in tcp_do_segment()
1716 			if (tp->last_ack_sent == th->th_seq) {  in tcp_do_segment()
1809 	if (tp->t_state == TCPS_SYN_RECEIVED && SEQ_LT(th->th_seq, tp->irs)) {  in tcp_do_segment()
1814 	todrop = tp->rcv_nxt - th->th_seq;  in tcp_do_segment()
1818 			th->th_seq++;  in tcp_do_segment()
1846 		th->th_seq += todrop;  in tcp_do_segment()
1870 	todrop = (th->th_seq + tlen) - (tp->rcv_nxt + tp->rcv_wnd);  in tcp_do_segment()
1880 			if (tp->rcv_wnd == 0 && th->th_seq == tp->rcv_nxt) {  in tcp_do_segment()
1918 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in tcp_do_segment()
1919 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in tcp_do_segment()
2036 		tp->snd_wl1 = th->th_seq - 1;  in tcp_do_segment()
2496 	    (SEQ_LT(tp->snd_wl1, th->th_seq) ||  in tcp_do_segment()
2497 	    (tp->snd_wl1 == th->th_seq && (SEQ_LT(tp->snd_wl2, th->th_ack) ||  in tcp_do_segment()
2507 		tp->snd_wl1 = th->th_seq;  in tcp_do_segment()
2545 		tcp_seq save_start = th->th_seq;  in tcp_do_segment()
2569 		if (th->th_seq == tp->rcv_nxt &&  in tcp_do_segment()