tag	line	file	source code
cr	1008	drivers/char/console.c	cr(currcons);
cr	1049	drivers/char/console.c	cr(currcons);
cr	1080	drivers/char/console.c	cr(currcons);
cr	1349	drivers/char/console.c	cr(currcons);