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