tag	line	file	source code
tthigh_names	318	arch/m68k/atari/atafb.c	static char *tthigh_names[]= {"tthigh", "default2", NULL};
tthigh_names	346	arch/m68k/atari/atafb.c	tthigh_names,