tag	line	file	source code
set_origin	120	drivers/char/console.c	static void set_origin(int currcons);
set_origin	422	drivers/char/console.c	set_origin(fg_console);
set_origin	620	drivers/char/console.c	set_origin(currcons);
set_origin	1989	drivers/char/console.c	set_origin(currcons);
set_origin	2045	drivers/char/console.c	set_origin(fg_console);
set_origin	2089	drivers/char/console.c	set_origin(fg_console);
set_origin	2133	drivers/char/console.c	set_origin(fg_console);