tag	line	file	source code
save_cur	952	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1064	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1216	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1434	kernel/chr_drv/console.c	save_cur(currcons);