430 			tp->snd_recover = tp->snd_max;  in cc_cong_signal()
444 			tp->snd_recover = tp->snd_max + 1;  in cc_cong_signal()
466 		tp->snd_nxt = tp->snd_max;  in cc_cong_signal()
473 	    SEQ_GT(tp->snd_fack, tp->snd_max)) {  in cc_cong_signal()
491 		    SEQ_GT(tp->snd_fack, tp->snd_max)) {  in cc_post_recovery()
1571 	    (SEQ_LEQ(th->th_ack, tp->iss) || SEQ_GT(th->th_ack, tp->snd_max))) {  in tcp_do_segment()
1584 	     (tp->snd_max == tp->snd_una) &&  in tcp_do_segment()
1761 	    tp->snd_nxt == tp->snd_max &&  in tcp_do_segment()
1781 			    SEQ_LEQ(th->th_ack, tp->snd_max) &&  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()
1987 		     SEQ_GT(th->th_ack, tp->snd_max))) {  in tcp_do_segment()
2067 			    (tp->snd_una != tp->snd_max)) {  in tcp_do_segment()
2558 		if (SEQ_GT(th->th_ack, tp->snd_max)) {  in tcp_do_segment()
2652 						    (tp->snd_nxt == tp->snd_max)) {  in tcp_do_segment()
2671 						    SEQ_LT(tp->snd_nxt, tp->snd_max)) {  in tcp_do_segment()
2733 							    imin(tp->snd_max - th->th_ack,  in tcp_do_segment()
2752 						tp->snd_nxt = tp->snd_max;  in tcp_do_segment()
2788 					tcp_seq oldsndmax = tp->snd_max;  in tcp_do_segment()
2798 					if ((tp->snd_nxt == tp->snd_max) &&  in tcp_do_segment()
2820 					sent = SEQ_SUB(tp->snd_max, oldsndmax);  in tcp_do_segment()
2855 			    (tp->snd_nxt == tp->snd_max)) {  in tcp_do_segment()
3011 		if (th->th_ack == tp->snd_max) {  in tcp_do_segment()
3446 	     SEQ_GT(th->th_ack, tp->snd_max)) ) {  in tcp_do_segment()
4100 		pipe = imax(0, tp->snd_max - 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()