tag	line	file	source code
new_origin	533	drivers/char/console.c	int new_origin;
new_origin	537	drivers/char/console.c	new_origin = __origin + lines * video_num_columns;
new_origin	539	drivers/char/console.c	new_origin -= last_origin_rel;
new_origin	540	drivers/char/console.c	if (new_origin < 0) {
new_origin	542	drivers/char/console.c	new_origin += last_origin_rel;
new_origin	543	drivers/char/console.c	if (new_origin < s_top)
new_origin	544	drivers/char/console.c	new_origin = s_top;
new_origin	545	drivers/char/console.c	if (new_origin > last_origin_rel - video_num_columns
new_origin	547	drivers/char/console.c	new_origin = 0;
new_origin	557	drivers/char/console.c	} else if (new_origin > __real_origin)
new_origin	558	drivers/char/console.c	new_origin = __real_origin;
new_origin	560	drivers/char/console.c	__set_origin(new_origin);