ttmid_names       381 drivers/video/fbdev/atafb.c static char *ttmid_names[] = { "ttmid", "default1", NULL };
ttmid_names       396 drivers/video/fbdev/atafb.c 	ttmid_names,