tag	line	file	source code
set_scrmem	133	drivers/char/console.c	extern void set_scrmem(int currcons, long offset);
set_scrmem	433	drivers/char/console.c	set_scrmem(fg_console, 0);
set_scrmem	2187	drivers/char/console.c	set_scrmem(fg_console, offset);
set_scrmem	2231	drivers/char/console.c	set_scrmem(fg_console, 0);