tag	line	file	source code
save_cur	984	drivers/char/console.c	save_cur(currcons);
save_cur	1096	drivers/char/console.c	save_cur(currcons);
save_cur	1248	drivers/char/console.c	save_cur(currcons);
save_cur	1472	drivers/char/console.c	save_cur(currcons);