stmid_names       378 drivers/video/fbdev/atafb.c static char *stmid_names[] = { "stmid", "default5", NULL };
stmid_names       393 drivers/video/fbdev/atafb.c 	stmid_names,