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