console_redraw_flag 199 core/console.c static int console_redraw_flag; console_redraw_flag 207 core/console.c console_redraw_flag = 1; console_redraw_flag 215 core/console.c if (console_redraw_flag) console_redraw_flag 243 core/console.c console_redraw_flag = 0; console_redraw_flag 257 core/console.c console_redraw_flag = 1; console_redraw_flag 265 core/console.c console_redraw_flag = 1;