console_max_lines   18 core/console.c static int console_max_lines;           // total number of lines in console
console_max_lines   30 core/console.c     console_max_lines = num_lines;
console_max_lines   53 core/console.c     if (console_num_lines < console_max_lines)
console_max_lines   88 core/console.c             int y = (console_y + console_max_lines - 1) * FONT_HEIGHT;
console_max_lines  166 core/console.c     console_max_lines = y2 - y1;
console_max_lines  169 core/console.c     if (console_num_lines > console_max_lines)
console_max_lines  170 core/console.c         console_num_lines = console_max_lines;