SEQ_MIN
SEQ_LT(tp->snd_nxt, SEQ_MIN(p->rxmit, p->end))) {
tp->snd_nxt = SEQ_MIN(p->rxmit, p->end);
p->rxmit = SEQ_MIN(p->end, p->rxmit) - len;
highdata = SEQ_MIN(highdata, tp->snd_recover);
if ((SEQ_MAX(rcv_start, start) != SEQ_MIN(rcv_end, end)) &&
head_blk.end = SEQ_MIN(rcv_end, end);
mid_blk.start = SEQ_MIN(mid_blk.start, start);
saved_blks[0].end = SEQ_MIN(rcv_end, head_blk.end);
(SEQ_MIN(cur->rxmit, cur->end) - cur->start);
cur->rxmit = SEQ_MIN(cur->rxmit, cur->end);
(SEQ_MIN(temp->rxmit,
cur->rxmit = SEQ_MIN(cur->rxmit,
(SEQ_MIN(cur->rxmit, cur->end) - cur->start);