TCPTV_REXMTMAX
uimax(tp->t_rttmin, rtt + 2), TCPTV_REXMTMAX);
TCPTV_MIN, TCPTV_REXMTMAX);
tp->t_rttmin, TCPTV_REXMTMAX);
TCPTV_MIN, TCPTV_REXMTMAX);
TCPTV_REXMTMAX);
tp->t_rttmin, TCPTV_REXMTMAX);