tag	line	file	source code
__origin	515	drivers/char/console.c	unsigned short __origin;      /* offset of currently displayed screen */
__origin	537	drivers/char/console.c	new_origin = __origin + lines * video_num_columns;
__origin	538	drivers/char/console.c	if (__origin > __real_origin)
__origin	974	drivers/char/console.c	p -= (__real_origin - __origin);
__origin	2139	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)