tag	line	file	source code
save_cur	990	drivers/char/console.c	save_cur(currcons);
save_cur	1102	drivers/char/console.c	save_cur(currcons);
save_cur	1254	drivers/char/console.c	save_cur(currcons);
save_cur	1478	drivers/char/console.c	save_cur(currcons);