tag	line	file	source code
ip_print	600	net/inet/ip.c	ip_print(iph);    /* Bogus, only for debugging. */
ip_print	724	net/inet/ip.c	ip_print(iph);
ip_print	28	net/inet/ip.h	extern void    ip_print(struct iphdr *ip);