8463 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {  in bbr_do_fastnewdata()
8645 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {  in bbr_fastack()
9034 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_syn_recv()
9035 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_syn_recv()
9258 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_established()
9259 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_established()
9355 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_close_wait()
9356 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_close_wait()
9486 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_fin_wait_1()
9487 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_fin_wait_1()
9602 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_closing()
9603 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_closing()
9704 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_lastack()
9705 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_lastack()
9818 	    SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&  in bbr_do_fin_wait_2()
9819 	    SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +  in bbr_do_fin_wait_2()
13950 	tp->last_ack_sent = tp->rcv_nxt;  in bbr_output_wtime()