tag	line	file	source code
save_cur	1079	drivers/char/console.c	save_cur(currcons);
save_cur	1216	drivers/char/console.c	save_cur(currcons);
save_cur	1368	drivers/char/console.c	save_cur(currcons);
save_cur	1650	drivers/char/console.c	save_cur(currcons);