tag	line	file	source code
print_th	241	net/inet/tcp.c	print_th(th);
print_th	496	net/inet/tcp.c	print_th(th);
print_th	2659	net/inet/tcp.c	print_th(th);