sthigh_names      379 drivers/video/fbdev/atafb.c static char *sthigh_names[] = { "sthigh", "default4", NULL };
sthigh_names      394 drivers/video/fbdev/atafb.c 	sthigh_names,