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