taglinefilesource code
dev_ioctl941net/inet/dev.cdev_ioctl(unsigned int cmd, void *arg)
dev_ioctl875net/socket/dev.cint dev_ioctl(unsigned int cmd, void *arg)