tcptimers         206 netinet/tcp_debug.c 			printf("<%s>", tcptimers[req>>8]);
tcptimers         111 netinet/tcp_timer.h const char *tcptimers[] =