s_hp425t           42 arch/m68k/hp300/config.c static char s_hp425t[] __initdata = "425t";
s_hp425t           59 arch/m68k/hp300/config.c 	[HP_425T]	= s_hp425t,