tag	line	file	source code
set_scrmem	125	drivers/char/console.c	extern void set_scrmem(int currcons, long offset);
set_scrmem	429	drivers/char/console.c	set_scrmem(fg_console, 0);
set_scrmem	2156	drivers/char/console.c	set_scrmem(fg_console, offset);
set_scrmem	2200	drivers/char/console.c	set_scrmem(fg_console, 0);