tag	line	file	source code
cr	976	kernel/chr_drv/console.c	cr(currcons);
cr	1017	kernel/chr_drv/console.c	cr(currcons);
cr	1048	kernel/chr_drv/console.c	cr(currcons);
cr	1311	kernel/chr_drv/console.c	cr(currcons);