taglinefilesource code
set_origin128drivers/char/console.cstatic void set_origin(int currcons);
set_origin446drivers/char/console.cset_origin(fg_console);
set_origin644drivers/char/console.cset_origin(currcons);
set_origin1969drivers/char/console.cset_origin(currcons);
set_origin2049drivers/char/console.cset_origin(fg_console);
set_origin2092drivers/char/console.cset_origin(fg_console);
set_origin2136drivers/char/console.cset_origin(fg_console);