tag	line	file	source code
cr	906	kernel/chr_drv/console.c	cr(currcons);
cr	948	kernel/chr_drv/console.c	cr(currcons);
cr	979	kernel/chr_drv/console.c	cr(currcons);
cr	1462	kernel/chr_drv/console.c	cr(currcons);