4739 	    SEQ_LEQ(rsm->r_end, tp->gput_ack)) {  in rack_in_gp_window()
8333 	if (SEQ_LEQ((seq_out + len), snd_una)) {  in rack_log_output()
10646 	    (SEQ_LEQ(end, rack->r_ctl.last_tlp_acked_end))) {  in rack_note_dsack()
10660 		    (SEQ_LEQ(end, l_end))) {  in rack_note_dsack()
10852 		    SEQ_LEQ(sack.end, tp->snd_max)) {  in rack_log_ack()
10855 		} else if (SEQ_LEQ(sack.start, th_ack) &&  in rack_log_ack()
10856 			   SEQ_LEQ(sack.end, th_ack)) {  in rack_log_ack()
11840 	if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {  in rack_process_ack()
12554 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {  in rack_do_fastnewdata()
12654 	if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {  in rack_fastack()
12725 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {  in rack_fastack()
12876 	    (SEQ_LEQ(th->th_ack, tp->iss) ||  in rack_do_syn_sent()
13090 	    (SEQ_LEQ(th->th_ack, tp->snd_una) ||  in rack_do_syn_recv()
13161 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_syn_recv()
13162 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_syn_recv()
13369 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_established()
13370 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_established()
13464 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_close_wait()
13465 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_close_wait()
13596 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_fin_wait_1()
13597 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_fin_wait_1()
13711 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_closing()
13712 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_closing()
13813 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_lastack()
13814 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_lastack()
13922 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in rack_do_fin_wait_2()
13923 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in rack_do_fin_wait_2()
15822 			if (SEQ_LEQ(ae->seq, tp->last_ack_sent) &&  in rack_do_compressed_ack_processing()
15823 			    SEQ_LEQ(tp->last_ack_sent, ae->seq)) {  in rack_do_compressed_ack_processing()
16654 	    (SEQ_LEQ(th->th_ack, tp->iss) || SEQ_GT(th->th_ack, tp->snd_max))) {  in rack_do_segment_nounlock()
20100 		KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),  in rack_output()
20141 		KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),  in rack_output()
20173 		KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),  in rack_output()