tag	line	file	source code
__origin	518	drivers/char/console.c	static unsigned short __origin;    /* offset of currently displayed screen */
__origin	527	drivers/char/console.c	__origin = offset;
__origin	540	drivers/char/console.c	lines = __origin - lines;
__origin	551	drivers/char/console.c	lines = __origin + lines;
__origin	587	drivers/char/console.c	if (__real_origin != __origin)
__origin	985	drivers/char/console.c	p -= (__real_origin - __origin);
__origin	2047	drivers/char/console.c	blank__origin = __origin;