tag	line	file	source code
set_origin	176	drivers/char/console.c	static void set_origin(int currcons);
set_origin	482	drivers/char/console.c	set_origin(fg_console);
set_origin	755	drivers/char/console.c	set_origin(currcons);
set_origin	2025	drivers/char/console.c	set_origin(currcons);
set_origin	2103	drivers/char/console.c	set_origin(fg_console);
set_origin	2146	drivers/char/console.c	set_origin(fg_console);
set_origin	2190	drivers/char/console.c	set_origin(fg_console);