tag	line	file	source code
do_screendump	35	drivers/char/tty_ioctl.c	extern int do_screendump(int arg);
do_screendump	557	drivers/char/tty_ioctl.c	return do_screendump(arg);