tag	line	file	source code
do_screendump	75	drivers/char/tty_io.c	extern int do_screendump(int arg);
do_screendump	1406	drivers/char/tty_io.c	return do_screendump(arg);