console_max_lines   17 core/console.c static int console_max_lines;           // total number of lines in console
console_max_lines   29 core/console.c     console_max_lines = num_lines;
console_max_lines   52 core/console.c     if (console_num_lines < console_max_lines)
console_max_lines   87 core/console.c             int y = (console_y + console_max_lines - 1) * FONT_HEIGHT;
console_max_lines  165 core/console.c     console_max_lines = y2 - y1;
console_max_lines  168 core/console.c     if (console_num_lines > console_max_lines)
console_max_lines  169 core/console.c         console_num_lines = console_max_lines;