vga_bootup_console 1347 drivers/video/console/vgacon.c static int vga_bootup_console = 0; vga_bootup_console 1349 drivers/video/console/vgacon.c if (!vga_bootup_console) { vga_bootup_console 1354 drivers/video/console/vgacon.c vga_bootup_console = 1;