SEQ_GEQ
if (SEQ_LT(seq, tcp->tcp_suna) || SEQ_GEQ(seq, tcp->tcp_snxt) ||
assert(SEQ_GEQ(seg_seq, tcp->tcp_rnxt) &&
if (SEQ_GEQ(seg_ack, tcp->tcp_rexmit_max)) {
if (SEQ_GEQ(start, TCP_REASS_END(mp1))) {
if (!SEQ_GEQ(end, TCP_REASS_END(mp1))) {
SEQ_GEQ(end, head[i].begin)) {
} else if (SEQ_GEQ(begin, head[i].begin) &&
if (SEQ_GEQ(end, head[i].end)) {
if (SEQ_GEQ(begin, tmp->begin)) {
if (SEQ_GEQ(end, tmp->end)) {
if (SEQ_GEQ(tmp->end, begin)) {
} else if (SEQ_GEQ(begin, head[i].begin) &&
if (SEQ_GEQ(tsn, sp->begin) && SEQ_LEQ(tsn, sp->end)) {
if (SEQ_GEQ(tsn, p->begin) && SEQ_LEQ(tsn, p->end)) {
if (SEQ_GEQ(sctp->sctp_lastack_rxd, ntohl(dh->sdh_tsn))) {
if (SEQ_GEQ(sctp->sctp_lastack_rxd, xtsn))
if (SEQ_GEQ(tsn, xtsn)) {
if (SEQ_LT(end, p->end) && SEQ_GEQ(end, p->begin)) {
} else if (SEQ_GEQ(end, p->end)) {
if (fwd_tsn && SEQ_GEQ(sctp->sctp_lastack_rxd,
SEQ_GEQ(sctp->sctp_adv_pap, ntohl(sdc->sdh_tsn))) {
SEQ_GEQ(sctp->sctp_adv_pap, ntohl(sdc->sdh_tsn))) {
if (SEQ_GEQ(sctp->sctp_adv_pap, tsn)) {
SEQ_GEQ(sctp->sctp_rtt_tsn, sdc->sdh_tsn)) {
if (SEQ_GEQ(sctp->sctp_lastack_rxd, sctp->sctp_rxt_nxttsn))
if (SEQ_GEQ(seg_seq + seg_len - gap, tcp->tcp_rack) &&
ASSERT(SEQ_GEQ(seg_seq, tcp->tcp_rnxt) &&
} else if (tcp->tcp_is_wnd_shrnk && SEQ_GEQ(seg_ack,
if (SEQ_GEQ(seg_ack, tcp->tcp_rexmit_max)) {
if (SEQ_LT(seq, tcp->tcp_suna) || SEQ_GEQ(seq, tcp->tcp_snxt))
if (mp1 == NULL || SEQ_GEQ(start, TCP_REASS_END(mp1))) {
if (!SEQ_GEQ(end, TCP_REASS_END(mp1))) {
} else if (SEQ_GEQ(begin, head[i].begin) &&
if (SEQ_GEQ(end, head[i].end)) {
if (SEQ_GEQ(begin, tmp->begin)) {
if (SEQ_GEQ(end, tmp->end)) {
if (SEQ_GEQ(tmp->end, begin)) {
} else if (SEQ_GEQ(begin, head[i].begin) &&
SEQ_GEQ(end, head[i].begin)) {