vga256_names      386 drivers/video/fbdev/atafb.c static char *vga256_names[] = { "vga256", NULL };
vga256_names      401 drivers/video/fbdev/atafb.c 	vga256_names,