vga2_names 383 drivers/video/fbdev/atafb.c static char *vga2_names[] = { "vga2", NULL }; vga2_names 398 drivers/video/fbdev/atafb.c vga2_names,