TCP_TS_TO_TICKS
TCP_TS_TO_TICKS(tcp_ts_getticks() - tp->rfbuf_ts) >
TCP_TS_TO_TICKS(t) + 1);
tcp_xmit_timer(tp, TCP_TS_TO_TICKS(t) + 1);