tag	line	file	source code
save_cur	985	drivers/char/console.c	save_cur(currcons);
save_cur	1097	drivers/char/console.c	save_cur(currcons);
save_cur	1249	drivers/char/console.c	save_cur(currcons);
save_cur	1473	drivers/char/console.c	save_cur(currcons);