tag	line	file	source code
save_cur	956	drivers/char/console.c	save_cur(currcons);
save_cur	1069	drivers/char/console.c	save_cur(currcons);
save_cur	1221	drivers/char/console.c	save_cur(currcons);
save_cur	1439	drivers/char/console.c	save_cur(currcons);