SEQ_LEQ
if (SEQ_LEQ(sack_end, sack_begin) ||
if (SEQ_LEQ(seg_ack, tcp->tcp_iss) ||
SEQ_LEQ(seg_seq, tcp->tcp_rack)) {
SEQ_LEQ(seg_seq, tcp->tcp_rnxt + tcp->tcp_rwnd));
if (SEQ_LEQ(seg_ack, tcp->tcp_rexmit_max)) {
SEQ_LEQ(seg_seq, tcp->tcp_rack)) {
if (SEQ_LEQ(start, u1))
SEQ_LEQ(begin, head[i].end)) {
while ((tmp != NULL) && SEQ_LEQ(tmp->end, begin)) {
if (SEQ_LEQ(end, tmp->begin)) {
if (SEQ_LEQ(end, tmp->end)) {
if (end == tmp->end && SEQ_LEQ(begin, tmp->begin)) {
if (SEQ_LEQ(tmp->end, end)) {
SEQ_LEQ(end, head[i].end)) {
} else if (SEQ_LEQ(end, head[i].end) &&
if (SEQ_GEQ(tsn, sp->begin) && SEQ_LEQ(tsn, sp->end)) {
if (SEQ_GEQ(tsn, p->begin) && SEQ_LEQ(tsn, p->end)) {
if (SEQ_LEQ(end, p->end))
SEQ_LEQ(gapstart, ctsn)) {
while (SEQ_LEQ(xtsn, gapend)) {
if (SEQ_LEQ(gstart, fr_xtsn))
if (SEQ_LEQ(cumtsn + ntohs(ssf->ssf_start), gapstart)) {
SEQ_LEQ(gapstart, cumtsn)) {
ASSERT(SEQ_LEQ(xtsn, gapstart));
while (SEQ_LEQ(xtsn, gapend)) {
ASSERT(SEQ_LEQ(sctp->sctp_rxt_nxttsn, sctp->sctp_rxt_maxtsn));
if (SEQ_LEQ(seg_ack, tcp->tcp_iss) ||
if (SEQ_LEQ(seg_ack, tcp->tcp_suna) ||
SEQ_LEQ(seg_seq, tcp->tcp_rack)) {
SEQ_LEQ(seg_seq, tcp->tcp_rnxt + tcp->tcp_rwnd));
(SEQ_LEQ(seg_ack, tcp->tcp_snxt_shrunk))) {
if (SEQ_LEQ(seg_ack, tcp->tcp_rexmit_max)) {
if (SEQ_LEQ(sack_end, sack_begin) ||
if (SEQ_LEQ(start, u1))
SEQ_LEQ(begin, head[i].end)) {
while ((tmp != NULL) && SEQ_LEQ(tmp->end, begin)) {
if (SEQ_LEQ(end, tmp->begin)) {
if (SEQ_LEQ(end, tmp->end)) {
if (end == tmp->end && SEQ_LEQ(begin, tmp->begin)) {
if (SEQ_LEQ(tmp->end, end)) {
SEQ_LEQ(end, head[i].end)) {
} else if (SEQ_LEQ(end, head[i].end) &&
SEQ_LEQ(seg_seq, tcp->tcp_rack)) {