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