falh16_names      388 drivers/video/fbdev/atafb.c static char *falh16_names[] = { "falh16", NULL };
falh16_names      403 drivers/video/fbdev/atafb.c 	falh16_names,