tag	line	file	source code
ns	2251	net/inet/tcp.c	int ns=TCP_CLOSE;
ns	2259	net/inet/tcp.c	ns=TCP_FIN_WAIT1;
ns	2265	net/inet/tcp.c	ns=sk->state;
ns	2272	net/inet/tcp.c	ns=TCP_LAST_ACK;
ns	2276	net/inet/tcp.c	tcp_set_state(sk,ns);
ns	2287	net/inet/tcp.c	if(dead && ns==TCP_FIN_WAIT2)