tag	line	file	source code
dbg_ioctl	902	net/inet/arp.c	return(dbg_ioctl(arg, DBG_ARP));
dbg_ioctl	436	net/inet/icmp.c	return(dbg_ioctl((void *) arg, DBG_ICMP));
dbg_ioctl	95	net/inet/inet.h	extern int    dbg_ioctl(void *arg, int level);
dbg_ioctl	121	net/inet/ip.c	return(dbg_ioctl((void *) arg, DBG_IP));
dbg_ioctl	420	net/inet/route.c	ret = dbg_ioctl(arg, DBG_RT);
dbg_ioctl	1464	net/inet/sock.c	return(dbg_ioctl((void *) arg, DBG_INET));
dbg_ioctl	416	net/inet/tcp.c	return(dbg_ioctl((void *) arg, DBG_TCP));