tag	line	file	source code
save_cur	947	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1059	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1211	kernel/chr_drv/console.c	save_cur(currcons);
save_cur	1429	kernel/chr_drv/console.c	save_cur(currcons);