tag	line	file	source code
s_top	527	drivers/char/console.c	int s_top = __real_origin+video_num_lines*video_num_columns ;
s_top	541	drivers/char/console.c	} else if (__origin > __real_origin && lines < s_top)
s_top	542	drivers/char/console.c	lines = s_top ;