vga16_names       385 drivers/video/fbdev/atafb.c static char *vga16_names[] = { "vga16", "default3", NULL };
vga16_names       400 drivers/video/fbdev/atafb.c 	vga16_names,