SEQ_GEQ
(SEQ_LT(seq, tp->snd_una) || SEQ_GEQ(seq, tp->snd_max))) {
if (SEQ_GEQ(snd_una, rp->rc_tcpseq)) {
newdata = (len > 0 && SEQ_GEQ(tp->snd_nxt, tp->snd_max) &&
if ((SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&
if (SEQ_GEQ(tp->snd_una, tp->iss + (TCP_MAXWIN << tp->snd_scale))) {
SEQ_GEQ(th->th_ack, tp->snd_recover)) {
SEQ_GEQ(th->th_ack, tp->gput_ack)) {
SEQ_GEQ(th->th_ack, tp->snd_recover)) {
if ((tp->t_flags & TF_LRD) && SEQ_GEQ(p->rxmit, p->end))
if (SEQ_GEQ(p->rxmit, tp->snd_recover)) {
KASSERT(q == NULL || SEQ_GEQ(q->tqe_start, tp->rcv_nxt),
if (SEQ_GEQ(max, (q->tqe_start + q->tqe_len))) {
KASSERT(SEQ_GEQ(th->th_seq, tp->rcv_nxt),
if ((SEQ_GEQ(th->th_seq, last->tqe_start)) &&
(SEQ_GEQ((last->tqe_start + last->tqe_len), th->th_seq))) {
SEQ_GEQ((th->th_seq + *tlenp),first->tqe_start) &&
if (SEQ_GEQ((th->th_seq + *tlenp), (q->tqe_start + q->tqe_len))) {
if (SEQ_GEQ(hole->rxmit, hole->end)) {
if (SEQ_GEQ(tp->snd_nxt, tp->snd_fack)) {
if (SEQ_GEQ(tp->snd_nxt, p->start)) {
SEQ_GEQ(temp->rxmit, temp->end) &&
SEQ_GEQ(tp->snd_fack, temp->rxmit)) {
if (SEQ_GEQ(tp->snd_fack, temp->rxmit) &&
SEQ_GEQ(temp->rxmit, temp->end))
if (SEQ_GEQ(start, end) || SEQ_LEQ(start, tp->rcv_nxt)) {
SEQ_GEQ(head_blk.end, start)) {
SEQ_GEQ(saved_blks[num_saved-1].start, start) &&
SEQ_GEQ(saved_blks[num_saved-1].start, start) &&
if (SEQ_GEQ(start, end) || SEQ_LEQ(start, tp->rcv_nxt)) {
SEQ_GEQ(sack.end, tp->snd_max))) {
if (SEQ_GEQ(sblkp->start, cur->end)) {
if (SEQ_GEQ(sblkp->end, cur->end)) {
if (SEQ_GEQ(sblkp->end, cur->end)) {
if ((tp->t_flags & TF_LRD) && SEQ_GEQ(cur->rxmit, cur->end))
if ((tp->t_flags & TF_LRD) && SEQ_GEQ(cur->rxmit, cur->end))
if (SEQ_GEQ(rsm->r_delivered, bbr->r_ctl.rc_pkt_epoch_del)) {
SEQ_GEQ(th->th_ack, tp->gput_ack)) {
if (SEQ_GEQ(cts, bbr->r_ctl.rc_reorder_ts)) {
if (SEQ_GEQ(c_end, rsm->r_end)) {
if (SEQ_GEQ(seq_out, rsm->r_start) && SEQ_LT(seq_out, rsm->r_end)) {
if (SEQ_GEQ(exp, cts)) {
if ((SEQ_GEQ(uts, (rsm->r_tim_lastsent[i] - fudge))) &&
if (SEQ_GEQ(start, rsm->r_start) &&
if (SEQ_GEQ(start, rsm->r_start) &&
if (SEQ_GEQ(end, rsm->r_end)) {
if (SEQ_GEQ(th_ack, rsm->r_end)) {
if (SEQ_GEQ(tp->snd_una, tp->iss + (65535 << tp->snd_scale))) {
if (SEQ_GEQ(th->th_ack, tp->snd_una) || to->to_nsacks) {
if (SEQ_GEQ(max_seq, rsm->r_start) &&
SEQ_GEQ(rsm->r_end, max_seq)) {
(SEQ_GEQ(th_ack, rack->r_ctl.last_tlp_acked_end))) {
(SEQ_GEQ(th_ack, rack->r_ctl.last_sent_tlp_seq))) {
if (SEQ_GEQ(th_ack, rsm->r_end)) {
SEQ_GEQ(th_ack, tp->gput_seq))
(SEQ_GEQ(start, rack->r_ctl.last_tlp_acked_start)) &&
if (SEQ_GEQ(start, rack->r_ctl.last_sent_tlp_seq) &&
if (SEQ_GEQ(th_ack, rack->r_ctl.dsack_round_end)) {
(SEQ_GEQ(seq, ent->end_seq))) {
if (SEQ_GEQ(tp->snd_una, tp->iss + (65535 << tp->snd_scale))) {
if (SEQ_GEQ(th->th_ack, tp->snd_una) || to->to_nsacks) {
SEQ_GEQ(th->th_ack, tp->snd_recover)) {
if (SEQ_GEQ(ae->ack, rack->r_ctl.dsack_round_end)) {
if (SEQ_GEQ(high_seq, rack->r_ctl.roundends) &&
SEQ_GEQ(high_seq, tp->snd_recover)) {
((SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&
if (SEQ_GEQ(tp->snd_una, rack->r_ctl.roundends) &&
(SEQ_GEQ(tp->gput_seq, rack->r_ctl.rc_probertt_sndmax_atexit)))
(SEQ_GEQ(tp->gput_seq, rack->r_ctl.cleared_app_ack_seq))) {
if (SEQ_GEQ(rack->r_ctl.last_collapse_point,
if (SEQ_GEQ(rack->r_ctl.last_collapse_point,
if (SEQ_GEQ(rsm->r_end, rack->r_ctl.rc_snd_max_at_rto)) {
} else if (SEQ_GEQ(tp->snd_max, rack->r_ctl.rc_snd_max_at_rto)) {
if (SEQ_GEQ(th_ack, tp->gput_ack)) {
(SEQ_GEQ(th_ack, rack->r_ctl.rc_first_appl->r_end))) {
if (SEQ_GEQ(rsm->r_start, tp->gput_seq) &&
} else if (SEQ_GEQ(rsm->r_start, tp->gput_seq) &&
SEQ_GEQ(rsm->r_end, tp->gput_ack)) {
while ((rsm != NULL) && (SEQ_GEQ(tp->gput_ack, rsm->r_start))){
if (SEQ_GEQ(rsm->r_end, tp->gput_seq))
(SEQ_GEQ(tp->gput_seq, rack->r_ctl.rc_probertt_sndmax_atexit)))
if (SEQ_GEQ(th_ack, rack->r_ctl.rc_snd_max_at_rto)) {
SEQ_GEQ(ack, tp->snd_recover)) {
if (SEQ_GEQ(cts, rack->r_ctl.rc_reorder_ts)) {
if (SEQ_GEQ(exp, cts)) {
if (SEQ_GEQ(rsm->r_end, rack->r_ctl.rc_snd_max_at_rto)) {
if (SEQ_GEQ(c_end, rsm->r_end)) {
if (SEQ_GEQ(end, seq_out))
if (SEQ_GEQ(seq_out, rsm->r_start) && SEQ_LT(seq_out, rsm->r_end)) {
SEQ_GEQ(rsm->r_end, tp->gput_seq)) {
SEQ_GEQ(rsm->r_start, tp->gput_seq)) {
SEQ_GEQ(rsm->r_end, tp->gput_seq)) {
(SEQ_GEQ(tp->gput_seq, rack->r_ctl.rc_probertt_sndmax_atexit)))
(SEQ_GEQ(start, rsm->r_end)) ||
SEQ_GEQ(end, next->r_start)) {
if (SEQ_GEQ(end, rsm->r_end)) {
if ((SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&
SEQ_GEQ(th->th_seq, tp->last_ack_sent) &&
if (SEQ_GEQ(end, (rack->r_ctl.pcm_i.eseq - segsiz))) {
if (SEQ_GEQ(start, rack->r_ctl.pcm_i.eseq)) {
if (SEQ_GEQ(th_ack, sf->sf_blks[i].end)) {
SEQ_GEQ(sf->sf_blks[i].end, b->end)) {
if (SEQ_GEQ(sf->sf_blks[i].end, b->end)) {
if (SEQ_GEQ(sf->sf_blks[i].end, sb->start) &&
SEQ_GEQ(sf->sf_blks[i].start, sb->start) &&
SEQ_GEQ(sf->sf_blks[i].end, sb->end)) {
(SEQ_GEQ(seq, hs->max))) {
if (SEQ_GEQ(seq, e->r_start) &&
if (SEQ_GEQ(seq, e->r_start) &&
if (SEQ_GEQ(e->r_end, seq))
if (SEQ_GEQ(rsm->r_end, hs->max)) {
if (SEQ_GEQ(th_ack, hs->max)) {
if (SEQ_GEQ(th_ack, rsm->r_end)) {
if (SEQ_GEQ(ntohl(icmp_tcp_seq), tp->snd_una) &&
if (SEQ_GEQ(ntohl(icmp_tcp_seq), tp->snd_una) &&
if (SEQ_GEQ(ack_point, ent->end_seq)) {
if (SEQ_GEQ(ack_point, ent->end_seq)) {
if (SEQ_GEQ(th_ack, ent->end_seq)) {
if ((SEQ_GEQ(seq, ent->start_seq)) ||
if ((SEQ_GEQ(seq, ent->start_seq)) &&
if ((SEQ_GEQ(th->th_seq, sc->sc_irs + 1) &&
SEQ_GEQ(end + MAX(1, dst->max_win << dws), src->seqhi))
if (SEQ_GEQ(src->seqhi, data_end) &&
SEQ_GEQ(seq, src->seqlo - (dst->max_win << dws)) &&
(SEQ_GEQ(orig_seq, src->seqlo - (dst->max_win << dws)) &&
if (SEQ_GEQ(ack + (win << sws), dst->seqhi))
SEQ_GEQ(src->seqhi + MAXACKWINDOW, data_end) &&
SEQ_GEQ(seq, src->seqlo - MAXACKWINDOW)) {
if (SEQ_GEQ(ack + (win << sws), dst->seqhi))
SEQ_GEQ(src->seqhi, data_end) ? ' ' : '1',
SEQ_GEQ(seq, src->seqlo - (dst->max_win << dws)) ?
SEQ_GEQ(src->seqhi + MAXACKWINDOW, data_end) ?' ' :'5',
SEQ_GEQ(seq, src->seqlo - MAXACKWINDOW) ?' ' :'6');
(!SEQ_GEQ(src->seqhi, seq) ||
!SEQ_GEQ(seq, src->seqlo - (dst->max_win << dws)))) {
if (SEQ_GEQ(tsval, src->scrub->pfss_tsval) ||
if (SEQ_GEQ(tsecr, src->scrub->pfss_tsecr) ||