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));