tag	line	file	source code
ioarg	2325	drivers/char/tpqic02.c	unsigned int iocmd, unsigned long ioarg)
ioarg	2340	drivers/char/tpqic02.c	printk(TPQIC_NAME ": ioctl(%4x, %4x, %4x)\n", dev_maj, iocmd, ioarg);
ioarg	2342	drivers/char/tpqic02.c	if (!inode || !ioarg)
ioarg	2363	drivers/char/tpqic02.c	error = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
ioarg	2369	drivers/char/tpqic02.c	argp = (char *) ioarg;
ioarg	2419	drivers/char/tpqic02.c	error =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
ioarg	2430	drivers/char/tpqic02.c	argp = (char *) ioarg;
ioarg	2447	drivers/char/tpqic02.c	error = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
ioarg	2463	drivers/char/tpqic02.c	argp = (char *) ioarg;