tag	line	file	source code
print_rt	312	net/tcp/ip.c	print_rt(rt);
print_rt	356	net/tcp/ip.c	print_rt(r);
print_rt	370	net/tcp/ip.c	print_rt(r1);