tag	line	file	source code
cr	986	drivers/char/console.c	cr(currcons);
cr	1027	drivers/char/console.c	cr(currcons);
cr	1058	drivers/char/console.c	cr(currcons);
cr	1321	drivers/char/console.c	cr(currcons);