tag	line	file	source code
cr	1014	drivers/char/console.c	cr(currcons);
cr	1055	drivers/char/console.c	cr(currcons);
cr	1086	drivers/char/console.c	cr(currcons);
cr	1355	drivers/char/console.c	cr(currcons);