tag	line	file	source code
set_origin	338	kernel/chr_drv/console.c	set_origin(currcons);
set_origin	1392	kernel/chr_drv/console.c	set_origin(fg_console);
set_origin	1407	kernel/chr_drv/console.c	set_origin(fg_console);