tag	line	file	source code
__origin	551	drivers/char/console.c	static unsigned short __origin;     /* offset of currently displayed screen */
__origin	564	drivers/char/console.c	__origin = offset;
__origin	577	drivers/char/console.c	lines = __origin - lines;
__origin	596	drivers/char/console.c	} else if (__origin > __real_origin && lines < s_top)
__origin	607	drivers/char/console.c	if (__origin > __real_origin) {
__origin	609	drivers/char/console.c	lines += __origin;
__origin	616	drivers/char/console.c	lines += __origin;
__origin	654	drivers/char/console.c	if (__real_origin != __origin)
__origin	1057	drivers/char/console.c	p -= (__real_origin - __origin);
__origin	2247	drivers/char/console.c	blank__origin = __origin;