tag	line	file	source code
cr	1009	drivers/char/console.c	cr(currcons);
cr	1050	drivers/char/console.c	cr(currcons);
cr	1081	drivers/char/console.c	cr(currcons);
cr	1350	drivers/char/console.c	cr(currcons);