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