tag	line	file	source code
save_cur	887	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	994	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1146	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1337	kernel/chr_drv/console.c	save_cur(currcons);