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