SEQ_SUB
SEQ_SUB(tp->snd_max, tp->snd_una))) {
SEQ_SUB(tp->snd_nxt, tp->snd_una);
SEQ_SUB(tp->snd_nxt, tp->snd_una))) {
sent = SEQ_SUB(tp->snd_max, oldsndmax);
gput = (((int64_t)SEQ_SUB(th->th_ack, tp->gput_seq)) << 3) /
len = SEQ_SUB(tp->snd_recover, p->rxmit);
len = SEQ_SUB(p->end, p->rxmit);
off = SEQ_SUB(p->rxmit, tp->snd_una);
val("core_fin"), SEQ_SUB(val("tx_max"),val("snd_una"))
val("core_fin"), SEQ_SUB(val("tx_max"),val("snd_una"))
val("core_fin"), SEQ_SUB(val("tx_max"),val("snd_una"))
val("core_fin"), SEQ_SUB(val("tx_max"),val("snd_una"))