vga_init_done      82 drivers/video/console/vgacon.c static bool		vga_init_done;
vga_init_done     572 drivers/video/console/vgacon.c 	if (!vga_init_done) {
vga_init_done     574 drivers/video/console/vgacon.c 		vga_init_done = true;