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