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