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