taglinefilesource code
set_origin129drivers/char/console.cstatic void set_origin(int currcons);
set_origin447drivers/char/console.cset_origin(fg_console);
set_origin645drivers/char/console.cset_origin(currcons);
set_origin1974drivers/char/console.cset_origin(currcons);
set_origin2054drivers/char/console.cset_origin(fg_console);
set_origin2097drivers/char/console.cset_origin(fg_console);
set_origin2141drivers/char/console.cset_origin(fg_console);