taglinefilesource code
__origin550drivers/char/console.cstatic unsigned short __origin;     /* offset of currently displayed screen */
__origin563drivers/char/console.c__origin = offset;
__origin576drivers/char/console.clines = __origin - lines;
__origin595drivers/char/console.c} else if (__origin > __real_origin && lines < s_top)
__origin606drivers/char/console.cif (__origin > __real_origin) {
__origin608drivers/char/console.clines += __origin;
__origin615drivers/char/console.clines += __origin;
__origin653drivers/char/console.cif (__real_origin != __origin)
__origin1056drivers/char/console.cp -= (__real_origin - __origin);
__origin2246drivers/char/console.cblank__origin = __origin;