tag	line	file	source code
statename	263	net/inet/tcp.c	static char *statename[]={
statename	276	net/inet/tcp.c	printk("TCP sk=%p, State %s -> %s\n",sk, statename[sk->state],statename[state]);