tag	line	file	source code
cr	905	kernel/chr_drv/console.c	cr(currcons);
cr	947	kernel/chr_drv/console.c	cr(currcons);
cr	978	kernel/chr_drv/console.c	cr(currcons);
cr	1465	kernel/chr_drv/console.c	cr(currcons);