tag	line	file	source code
__origin	519	drivers/char/console.c	unsigned short __origin;     /* offset of currently displayed screen */
__origin	531	drivers/char/console.c	lines = __origin - lines;
__origin	550	drivers/char/console.c	} else if (__origin > __real_origin && lines < s_top)
__origin	561	drivers/char/console.c	if (__origin > __real_origin) {
__origin	563	drivers/char/console.c	lines += __origin;
__origin	570	drivers/char/console.c	lines += __origin;
__origin	979	drivers/char/console.c	p -= (__real_origin - __origin);
__origin	2142	drivers/char/console.c	blank__origin = __origin;
__origin	39	drivers/char/selection.h	extern unsigned short __origin;
__origin	266	drivers/char/tga.c	if (__real_origin != __origin)
__origin	92	drivers/char/vga.c	__origin = offset;
__origin	122	drivers/char/vga.c	if (__real_origin != __origin)