tag	line	file	source code
sthigh_names	315	arch/m68k/atari/atafb.c	static char *sthigh_names[] = {"sthigh", "default4", NULL};
sthigh_names	343	arch/m68k/atari/atafb.c	sthigh_names,