SEQ_LEQ
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
SEQ_LEQ(th->th_ack, tp->snd_max) &&
(SEQ_LEQ(th->th_ack, tp->snd_una) ||
(SEQ_LEQ(th->th_ack, tp->iss) ||
SEQ_LEQ(th->th_seq, tp->last_ack_sent + tp->rcv_wnd)) {
if ((to.to_flags & TOF_TS) && SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, (th->th_seq + tlen
if (SEQ_LEQ(th->th_ack, tp->snd_una)) {
if (SEQ_LEQ(r->rblk_end, r->rblk_start)) {
while (sb && SEQ_LEQ(sb->sblk_end, th_ack)) {
SEQ_LEQ(blocks[0].rblk_end, blocks[1].rblk_end))
if (SEQ_LEQ(newsackblock->rblk_start, tp->snd_una))
if (SEQ_LEQ(tp->rexmt_rescue, tp->snd_una)) {
if (SEQ_LEQ(tp->sackhistory[i].rblk_end, tp->rcv_nxt)) {
if (SEQ_GEQ(start, old_start) && SEQ_LEQ(end, old_end)) {
KASSERT(SEQ_LEQ(start, old_start) &&
SEQ_LEQ(th->th_seq, sc->sc_irs + sc->sc_wnd)) {
SEQ_LEQ(rxseq, ni->ni_rxseqs[tid]))