TCPTV_MIN
TCPTV_SRTTDFLT * tcp_backoff[sc->sc_rxtshift], TCPTV_MIN,
tp->t_rttmin = TCPTV_MIN;
TCPTV_MIN, TCPTV_REXMTMAX);