tag	line	file	source code
tstruct	118	drivers/char/tty_ioctl.c	struct tstruct *ts = (struct tstruct *)arg;
tstruct	123	drivers/char/tty_ioctl.c	i = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));