taglinefilesource code
max_y489drivers/char/console.cint max_y;
max_y500drivers/char/console.cmax_y = bottom;
max_y502drivers/char/console.cmax_y = video_num_lines;
max_y506drivers/char/console.cif (new_y >= max_y)
max_y507drivers/char/console.cy = max_y - 1;