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,