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