tag	line	file	source code
dev_ioctl	187	net/inet/dev.h	extern int    dev_ioctl(unsigned int cmd, void *);
dev_ioctl	1495	net/inet/sock.c	return(dev_ioctl(cmd,(void *) arg));
dev_ioctl	1404	net/inet/sockinet.c	return(dev_ioctl(cmd,(void *) arg));
dev_ioctl	183	net/socket/dev.h	extern int    dev_ioctl(unsigned int cmd, void *);