tag	line	file	source code
set_origin	143	drivers/char/console.c	static void set_origin(int currcons);
set_origin	471	drivers/char/console.c	set_origin(fg_console);
set_origin	716	drivers/char/console.c	set_origin(currcons);
set_origin	2152	drivers/char/console.c	set_origin(currcons);
set_origin	2249	drivers/char/console.c	set_origin(fg_console);
set_origin	2293	drivers/char/console.c	set_origin(fg_console);
set_origin	2337	drivers/char/console.c	set_origin(fg_console);