Searched refs:tcp_timer_active (Results 1 – 1 of 1) sorted by relevance
88 static u32 tcp_timer_active = 0; variable167 printf("__tcp_timer(%d,%p,%p)\n",tcp_timer_active,tcp_active_pcbs,tcp_tw_pcbs); in __tcp_timer()174 tcp_timer_active = 0; in __tcp_timer()191 if(!tcp_timer_active && (tcp_active_pcbs || tcp_tw_pcbs)) { in tcp_timer_needed()192 tcp_timer_active = 1; in tcp_timer_needed()