472 	if (SEQ_LT(tp->snd_fack, tp->snd_una) ||  in cc_cong_signal()
474 		tp->snd_fack = tp->snd_una;  in cc_cong_signal()
1584 	     (tp->snd_max == tp->snd_una) &&  in tcp_do_segment()
1780 			if (SEQ_GT(th->th_ack, tp->snd_una) &&  in tcp_do_segment()
1838 				if (SEQ_GT(tp->snd_una, tp->snd_recover) &&  in tcp_do_segment()
1850 				tp->snd_una = th->th_ack;  in tcp_do_segment()
1879 				if (tp->snd_una == tp->snd_max)  in tcp_do_segment()
1892 				     SEQ_SUB(tp->snd_max, tp->snd_una))) {  in tcp_do_segment()
1897 		} else if (th->th_ack == tp->snd_una &&  in tcp_do_segment()
1986 		    (SEQ_LEQ(th->th_ack, tp->snd_una) ||  in tcp_do_segment()
2059 			tp->snd_una++;		/* SYN is acked */  in tcp_do_segment()
2060 			if (SEQ_LT(tp->snd_nxt, tp->snd_una))  in tcp_do_segment()
2061 				tp->snd_nxt = tp->snd_una;  in tcp_do_segment()
2067 			    (tp->snd_una != tp->snd_max)) {  in tcp_do_segment()
2432 	if (SEQ_GEQ(tp->snd_una, tp->iss + (TCP_MAXWIN << tp->snd_scale))) {  in tcp_do_segment()
2442 			seq_min = tp->snd_una - tp->max_sndwnd;  in tcp_do_segment()
2445 			if (SEQ_GT(tp->iss + 1, tp->snd_una - tp->max_sndwnd)) {  in tcp_do_segment()
2454 				seq_min = tp->snd_una - tp->max_sndwnd;  in tcp_do_segment()
2530 		if (SEQ_GT(th->th_ack, tp->snd_una) && !(tp->t_flags & TF_NEEDSYN))  in tcp_do_segment()
2580 		if (SEQ_LEQ(th->th_ack, tp->snd_una)) {  in tcp_do_segment()
2635 				if (th->th_ack != tp->snd_una ||  in tcp_do_segment()
2740 						    tp->snd_nxt - tp->snd_una);  in tcp_do_segment()
2758 						if (SEQ_GT(th->th_ack, tp->snd_una)) {  in tcp_do_segment()
2802 							    tp->snd_una) -  in tcp_do_segment()
2817 					     SEQ_SUB(tp->snd_nxt, tp->snd_una))) {  in tcp_do_segment()
2868 		KASSERT(SEQ_GT(th->th_ack, tp->snd_una),  in tcp_do_segment()
2921 			tp->snd_una++;  in tcp_do_segment()
2941 			tp->snd_una++;  in tcp_do_segment()
2945 		    tp->snd_una, th->th_ack, tp, m));  in tcp_do_segment()
3054 		    SEQ_GT(tp->snd_una, tp->snd_recover) &&  in tcp_do_segment()
3057 		tp->snd_una = th->th_ack;  in tcp_do_segment()
3062 		if (SEQ_GT(tp->snd_una, tp->snd_recover)) {  in tcp_do_segment()
3063 			tp->snd_recover = tp->snd_una;  in tcp_do_segment()
3065 		if (SEQ_LT(tp->snd_nxt, tp->snd_una))  in tcp_do_segment()
3066 			tp->snd_nxt = tp->snd_una;  in tcp_do_segment()
3445 	    (SEQ_GT(tp->snd_una, th->th_ack) ||  in tcp_do_segment()
4097 					     tp->snd_recover - tp->snd_una)) {  in tcp_do_prr_ack()
4100 		pipe = imax(0, tp->snd_max - tp->snd_una -  in tcp_do_prr_ack()
4110 			    imax(1, tp->snd_nxt - tp->snd_una);  in tcp_do_prr_ack()
4145 			tp->snd_cwnd = (tp->snd_max - tp->snd_una) +  in tcp_do_prr_ack()
4203 		pipe = tp->snd_max - tp->snd_una +  in tcp_compute_pipe()