tag	line	file	source code
s_top	541	drivers/char/console.c	int s_top = __real_origin + video_num_lines*video_num_columns;
s_top	543	drivers/char/console.c	if (new_origin < s_top)
s_top	544	drivers/char/console.c	new_origin = s_top;