vga4_names        384 drivers/video/fbdev/atafb.c static char *vga4_names[] = { "vga4", NULL };
vga4_names        399 drivers/video/fbdev/atafb.c 	vga4_names,