tag	line	file	source code
print_th	252	net/inet/tcp.c	print_th(th);
print_th	531	net/inet/tcp.c	print_th(th);
print_th	2532	net/inet/tcp.c	print_th(th);
print_th	116	net/inet/tcp.h	extern void  print_th(struct tcphdr *);