seq_min
tp->rexmt_high = seq_min(tp->snd_nxt, old_snd_max);
bytes_sacked += seq_min(seq, sb->sblk_end) - sb->sblk_start;
end = seq_min(sb->sblk_end, tp->rexmt_high);