taglinefilesource code
__real_origin514drivers/char/console.cunsigned short __real_origin;       /* offset of non-scrolled screen */
__real_origin538drivers/char/console.cif (__origin > __real_origin)
__real_origin541drivers/char/console.cint s_top = __real_origin + video_num_lines*video_num_columns;
__real_origin557drivers/char/console.c} else if (new_origin > __real_origin)
__real_origin558drivers/char/console.cnew_origin = __real_origin;
__real_origin584drivers/char/console.c__real_origin = (origin-video_mem_base) >> 1;
__real_origin585drivers/char/console.c__set_origin(__real_origin);
__real_origin974drivers/char/console.cp -= (__real_origin - __origin);
__real_origin38drivers/char/selection.hextern unsigned short __real_origin;
__real_origin266drivers/char/tga.cif (__real_origin != __origin)
__real_origin267drivers/char/tga.c__set_origin(__real_origin);
__real_origin122drivers/char/vga.cif (__real_origin != __origin)
__real_origin123drivers/char/vga.c__set_origin(__real_origin);