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;