+ TCPT_RANGESET(tp->t_timer[TCPT_REXMT],
+ (int)tp->t_srtt, TCPTV_MIN, TCPTV_MAX);
+ if (tcpexprexmtbackoff) {
+ TCPT_RANGESET(tp->t_timer[TCPT_REXMT],
+ tp->t_timer[TCPT_REXMT] << tp->t_rxtshift,
+ TCPTV_MIN, TCPTV_MAX);
+ } else {
+ TCPT_RANGESET(tp->t_timer[TCPT_REXMT],
+ tp->t_timer[TCPT_REXMT] *
+ tcp_backoff[tp->t_rxtshift - 1],
+ TCPTV_MIN, TCPTV_MAX);
+ }
+if (tcprexmtprint)
+printf("rexmt set to %d\n", tp->t_timer[TCPT_REXMT]);