taglinefilesource code
__set_origin544drivers/char/console.c__set_origin(lines);
__set_origin555drivers/char/console.c__set_origin(lines);
__set_origin565drivers/char/console.c__set_origin(__real_origin);
__set_origin589drivers/char/console.c__set_origin(__real_origin);
__set_origin2100drivers/char/console.c__set_origin(blank__origin);