tag	line	file	source code
set_origin	346	kernel/chr_drv/console.c	set_origin(currcons);
set_origin	1402	kernel/chr_drv/console.c	set_origin(fg_console);
set_origin	1417	kernel/chr_drv/console.c	set_origin(fg_console);