tag	line	file	source code
save_cur	961	drivers/char/console.c	save_cur(currcons);
save_cur	1073	drivers/char/console.c	save_cur(currcons);
save_cur	1225	drivers/char/console.c	save_cur(currcons);
save_cur	1445	drivers/char/console.c	save_cur(currcons);