tag	line	file	source code
ns	2245	net/inet/tcp.c	int ns=TCP_CLOSE;
ns	2253	net/inet/tcp.c	ns=TCP_FIN_WAIT1;
ns	2259	net/inet/tcp.c	ns=sk->state;
ns	2266	net/inet/tcp.c	ns=TCP_LAST_ACK;
ns	2270	net/inet/tcp.c	tcp_set_state(sk,ns);
ns	2281	net/inet/tcp.c	if(dead && ns==TCP_FIN_WAIT2)