tag	line	file	source code
save_cur	893	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	996	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1147	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1332	kernel/chr_drv/console.c	save_cur(currcons);