tag	line	file	source code
cr	911	kernel/chr_drv/console.c	cr(currcons);
cr	953	kernel/chr_drv/console.c	cr(currcons);
cr	980	kernel/chr_drv/console.c	cr(currcons);
cr	1474	kernel/chr_drv/console.c	cr(currcons);