tthigh_names 382 drivers/video/fbdev/atafb.c static char *tthigh_names[] = { "tthigh", "default2", NULL }; tthigh_names 397 drivers/video/fbdev/atafb.c tthigh_names,