SEQ_LEQ
SEQ_LEQ(rxseq, ni->ni_rxseqs[tid]))
if (SEQ_LEQ(ack, txsi->seq))
(SEQ_LEQ(th->th_ack, tp->iss) || SEQ_GT(th->th_ack, tp->snd_max))) {
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
SEQ_LEQ(th->th_ack, tp->snd_max) &&
SEQ_LEQ(th->th_ack, tp->snd_recover))
(SEQ_LEQ(th->th_ack, tp->snd_una) ||
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,
SEQ_LEQ(th->th_ack, tp->snd_recover))
(SEQ_LEQ(th->th_seq, (p->tqe_start + p->tqe_len)))) {
if (SEQ_LEQ(tp->sackblks[0].end, tp->rcv_nxt))
SEQ_LEQ(start, rcv_end))) {
KASSERT(SEQ_LEQ(rcv_start, rcv_end), ("SEG_GT(rcv_start, rcv_end)"));
if (SEQ_GEQ(start, end) || SEQ_LEQ(start, tp->rcv_nxt)) {
} else if (SEQ_LEQ(head_blk.start, end) &&
SEQ_LEQ(saved_blks[num_saved-1].end, end))
SEQ_LEQ(saved_blks[num_saved-1].end, end))
if (SEQ_GEQ(start, end) || SEQ_LEQ(start, tp->rcv_nxt)) {
SEQ_LEQ(sack.end, tp->snd_max) &&
} else if (SEQ_LEQ(sack.start, th_ack) &&
SEQ_LEQ(sack.end, th_ack)) {
SEQ_LEQ(tp->snd_fack,temp->end)) {
if (SEQ_LEQ(sblkp->end, cur->start)) {
if (SEQ_LEQ(sblkp->start, cur->start)) {
if (SEQ_LEQ(sblkp->start, cur->start)) {
(SEQ_LEQ(th->th_ack, tp->iss) || SEQ_GT(th->th_ack, tp->snd_max))) {
if (SEQ_LEQ(cts, rsm->r_tim_lastsent[idx])) {
if (SEQ_LEQ((seq_out + len), snd_una)) {
(SEQ_LEQ(uts, (rsm->r_tim_lastsent[i] + fudge)))) {
if (SEQ_LEQ(th_ack, tp->snd_una)) {
SEQ_LEQ(sack.end, tp->snd_max)) {
} else if (SEQ_LEQ(sack.start, th_ack) &&
SEQ_LEQ(sack.end, th_ack)) {
if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
(SEQ_LEQ(th->th_ack, tp->iss) ||
(SEQ_LEQ(th->th_ack, tp->snd_una) ||
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
(SEQ_LEQ(end, rack->r_ctl.last_tlp_acked_end))) {
(SEQ_LEQ(end, l_end))) {
SEQ_LEQ(sack.end, tp->snd_max)) {
} else if (SEQ_LEQ(sack.start, th_ack) &&
SEQ_LEQ(sack.end, th_ack)) {
if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
if (__predict_false(SEQ_LEQ(th->th_ack, tp->snd_una))) {
SEQ_LEQ(th->th_seq, tp->last_ack_sent)) {
(SEQ_LEQ(th->th_ack, tp->iss) ||
(SEQ_LEQ(th->th_ack, tp->snd_una) ||
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
SEQ_LEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, th->th_seq + tlen +
if (SEQ_LEQ(ae->seq, tp->last_ack_sent) &&
SEQ_LEQ(tp->last_ack_sent, ae->seq)) {
(SEQ_LEQ(th->th_ack, tp->iss) || SEQ_GT(th->th_ack, tp->snd_max))) {
KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),
KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),
KASSERT(SEQ_LEQ(tp->snd_una, rsm->r_start),
SEQ_LEQ(rsm->r_end, tp->gput_ack)) {
if (SEQ_LEQ((seq_out + len), snd_una)) {
if (SEQ_LEQ(end, rack->r_ctl.pcm_i.sseq)) {
if (SEQ_LEQ(sf->sf_blks[i].start, b->start) &&
if (SEQ_LEQ(sf->sf_blks[i].start, b->start)) {
SEQ_LEQ(sf->sf_blks[i].end, sb->end) &&
SEQ_LEQ(sf->sf_blks[i].start, sb->start)) {
if (SEQ_LEQ(sf->sf_blks[i].start, sb->end) &&
} if (SEQ_LEQ(rsm->r_start, hs->min)) {
if (SEQ_LEQ(rsm->r_start, e->r_start)) {
if (SEQ_LEQ(th->th_seq, sc->sc_irs) ||
SEQ_LEQ(orig_seq, src->seqlo + 1) && ackskew == 0 &&