tag	line	file	source code
set_origin	134	drivers/char/console.c	static void set_origin(int currcons);
set_origin	440	drivers/char/console.c	set_origin(fg_console);
set_origin	710	drivers/char/console.c	set_origin(currcons);
set_origin	2048	drivers/char/console.c	set_origin(fg_console);
set_origin	2091	drivers/char/console.c	set_origin(fg_console);
set_origin	2135	drivers/char/console.c	set_origin(fg_console);