s_a4000t           72 arch/m68k/amiga/config.c static char s_a4000t[] __initdata = "A4000T";
s_a4000t           88 arch/m68k/amiga/config.c 	[AMI_4000T-AMI_500]	= s_a4000t,