tag	line	file	source code
set_origin	430	drivers/char/console.c	set_origin(__real_origin);
set_origin	482	drivers/char/console.c	set_origin(currcons);
set_origin	1743	drivers/char/console.c	set_origin(fg_console);
set_origin	1761	drivers/char/console.c	set_origin(fg_console);