tag	line	file	source code
__origin	502	drivers/char/console.c	unsigned short __origin;     /* offset of currently displayed screen */
__origin	514	drivers/char/console.c	lines = __origin - lines;
__origin	533	drivers/char/console.c	} else if (__origin > __real_origin && lines < s_top)
__origin	544	drivers/char/console.c	if (__origin > __real_origin) {
__origin	546	drivers/char/console.c	lines += __origin;
__origin	553	drivers/char/console.c	lines += __origin;
__origin	962	drivers/char/console.c	p -= (__real_origin - __origin);
__origin	2043	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)