tag	line	file	source code
set_origin	370	kernel/chr_drv/console.c	set_origin(__real_origin);
set_origin	422	kernel/chr_drv/console.c	set_origin(currcons);
set_origin	1496	kernel/chr_drv/console.c	set_origin(fg_console);
set_origin	1511	kernel/chr_drv/console.c	set_origin(fg_console);