TP_KEEPINIT
hpts_timeout = TICKS_2_USEC(TP_KEEPINIT(tp));
(TP_KEEPINIT(tp) != 0) &&
max_time = TICKS_2_USEC(TP_KEEPINIT(tp));
hpts_timeout = TICKS_2_USEC(TP_KEEPINIT(tp));
(TP_KEEPINIT(tp) != 0)) {
((cts - (uint32_t)rsm->r_tim_lastsent[0]) >= TICKS_2_USEC(TP_KEEPINIT(tp)))) {
TP_KEEPINIT(tp));
tcp_timer_activate(tp, TT_KEEP, TP_KEEPINIT(tp));
TP_KEEPINIT(tp));
ui = TP_KEEPINIT(tp) / hz;
tcp_timer_activate(tp, TT_KEEP, TP_KEEPINIT(tp));
tcp_timer_activate(tp, TT_KEEP, TP_KEEPINIT(tp));
tcp_timer_activate(tp, TT_KEEP, TP_KEEPINIT(tp));