tag	line	file	source code
dev_ifconf	998	net/inet/dev.c	(void) dev_ifconf((char *) arg);
dev_ifconf	885	net/socket/dev.c	(void) dev_ifconf((char *) arg);