tag	line	file	source code
save_cur	140	drivers/char/console.c	static void save_cur(int currcons);
save_cur	430	drivers/char/console.c	save_cur(currcons);
save_cur	1328	drivers/char/console.c	save_cur(currcons);
save_cur	1558	drivers/char/console.c	save_cur(currcons);
save_cur	1746	drivers/char/console.c	save_cur(currcons);