taglinefilesource code
set_origin406drivers/char/console.cset_origin(__real_origin);
set_origin458drivers/char/console.cset_origin(currcons);
set_origin1571drivers/char/console.cset_origin(fg_console);
set_origin1586drivers/char/console.cset_origin(fg_console);