tag	line	file	source code
set_origin	143	drivers/char/console.c	static void set_origin(int currcons);
set_origin	470	drivers/char/console.c	set_origin(fg_console);
set_origin	715	drivers/char/console.c	set_origin(currcons);
set_origin	2151	drivers/char/console.c	set_origin(currcons);
set_origin	2248	drivers/char/console.c	set_origin(fg_console);
set_origin	2292	drivers/char/console.c	set_origin(fg_console);
set_origin	2336	drivers/char/console.c	set_origin(fg_console);