1795 	    (SEQ_LT(tp->snd_wl1, th->th_seq) ||  in tcp_update_window()
1796 	    (tp->snd_wl1 == th->th_seq && (SEQ_LT(tp->snd_wl2, th->th_ack) ||  in tcp_update_window()
1833 	if (SACK_ENABLED(tp) && SEQ_LT(tp->send_highest_sack, tp->snd_una)) {  in tcp_update_snd_una()
2784 	    SEQ_LT(th->th_seq, tp->last_ack_sent + tp->rcv_wnd)) {  in tcp_input()
3096 			if (SEQ_LT(tp->rcv_high, tp->rcv_nxt)) {  in tcp_input()
3489 			if (SEQ_LT(tp->snd_nxt, tp->snd_una)) {  in tcp_input()
3589 				    SEQ_LT(tp->snd_una, th->th_ack)) {  in tcp_input()
3758 		    SEQ_LT(th->th_seq, tp->last_ack_sent + tp->rcv_wnd)) ||  in tcp_input()
3884 	if (tp->t_state == TCPS_SYN_RECEIVED && SEQ_LT(th->th_seq, tp->irs)) {  in tcp_input()
4278 			if (SEQ_LT(tp->snd_nxt, tp->snd_una)) {  in tcp_input()
4326 		if (SEQ_LT(th->th_ack, tp->snd_una - tp->max_sndwnd)) {  in tcp_input()
4719 			if (SEQ_LT(th->th_ack, tp->snd_recover)) {  in tcp_input()
4906 		if (SEQ_LT(tp->snd_nxt, tp->snd_una)) {  in tcp_input()
5166 			if (SEQ_LT(tp->rcv_high, tp->rcv_nxt)) {  in tcp_input()
5220 			if (SEQ_LT(tp->rcv_high, th->th_seq + tlen)) {  in tcp_input()
5887 			if (SEQ_LT(tp->rcv_nxt, tp->rcv_rtt_est_seq)) {  in tcp_compute_rcv_rtt()