tag	line	file	source code
__real_origin	549	drivers/char/console.c	static unsigned short __real_origin;
__real_origin	581	drivers/char/console.c	int s_top = __real_origin+video_num_lines*video_num_columns ;
__real_origin	595	drivers/char/console.c	} else if (__origin > __real_origin && lines < s_top)
__real_origin	606	drivers/char/console.c	if (__origin > __real_origin) {
__real_origin	611	drivers/char/console.c	if (lines > __real_origin)
__real_origin	612	drivers/char/console.c	lines = __real_origin;
__real_origin	616	drivers/char/console.c	if (lines > __real_origin)
__real_origin	617	drivers/char/console.c	lines = __real_origin;
__real_origin	629	drivers/char/console.c	__real_origin = (origin-video_mem_base) >> 1;
__real_origin	630	drivers/char/console.c	__set_origin(__real_origin);
__real_origin	653	drivers/char/console.c	if (__real_origin != __origin)
__real_origin	654	drivers/char/console.c	__set_origin(__real_origin);
__real_origin	1056	drivers/char/console.c	p -= (__real_origin - __origin);