tag	line	file	source code
set_scrmem	1401	kernel/chr_drv/console.c	set_scrmem(fg_console);
set_scrmem	1416	kernel/chr_drv/console.c	set_scrmem(fg_console);