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