taglinefilesource code
__set_origin333kernel/chr_drv/console.c__set_origin(lines);
__set_origin344kernel/chr_drv/console.c__set_origin(lines);
__set_origin354kernel/chr_drv/console.c__set_origin(__real_origin);