dev_ioctl() has a __user pointer argument; however, its declaration
lacks that and callers are also wrong.  Declaration fixed, callers updated.