taglinefilesource code
__origin519drivers/char/console.cstatic unsigned short __origin;    /* offset of currently displayed screen */
__origin528drivers/char/console.c__origin = offset;
__origin541drivers/char/console.clines = __origin - lines;
__origin552drivers/char/console.clines = __origin + lines;
__origin588drivers/char/console.cif (__real_origin != __origin)
__origin986drivers/char/console.cp -= (__real_origin - __origin);
__origin2052drivers/char/console.cblank__origin = __origin;