tag	line	file	source code
send_fin	2252	net/inet/tcp.c	int send_fin=0;
send_fin	2260	net/inet/tcp.c	send_fin=1;
send_fin	2273	net/inet/tcp.c	send_fin=1;
send_fin	2296	net/inet/tcp.c	return send_fin;