tag	line	file	source code
need_reset	1940	net/inet/tcp.c	int need_reset = 0;
need_reset	1967	net/inet/tcp.c	need_reset = 1;
need_reset	2062	net/inet/tcp.c	t1->rst = need_reset;