tag	line	file	source code
cr	1128	drivers/char/console.c	cr(currcons);
cr	1169	drivers/char/console.c	cr(currcons);
cr	1200	drivers/char/console.c	cr(currcons);
cr	1482	drivers/char/console.c	cr(currcons);