tag	line	file	source code
save_cur	889	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	996	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1148	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1330	kernel/chr_drv/console.c	save_cur(currcons);