after_eq
if (after_eq(call->tx_transmitted, req.tq->qbase) &&
if (after_eq(prev_pkt, call->acks_prev_seq))
if (call->tlp_serial && after_eq(summary.acked_serial, call->tlp_serial))
after_eq(seq, wtop)) {
after_eq(snd_una, call->rack_dsack_round))
if (after_eq(call->acks_hard_ack, call->tx_transmitted))
after_eq(sp->ack.acked_serial, conn->pmtud_probe))