15 #ifndef __included_tcp_timer_h__
16 #define __included_tcp_timer_h__
26 tc->timers[timer_id] = tw_timer_start_tcp_twsl (tw, tc->c_c_index,
34 tc->pending_timers &= ~(1 << timer_id);
38 tw_timer_stop_tcp_twsl (tw, tc->timers[timer_id]);
48 tw_timer_update_tcp_twsl (tw, tc->timers[timer_id],
interval);
50 tc->timers[timer_id] = tw_timer_start_tcp_twsl (tw, tc->c_c_index,
57 ASSERT (tc->snd_una != tc->snd_nxt);
81 if (
seq_leq (tc->snd_una, tc->snd_congestion + tc->burst_acked))
98 if (tc->snd_una == tc->snd_nxt)
101 if (tc->snd_wnd < tc->snd_mss)
113 || (tc->pending_timers & (1 << timer));
119 tw_timer_expire_timers_tcp_twsl (tw,
now);
123 void (*expired_timer_cb) (
u32 *),
f64 now);