s_hp425s           43 arch/m68k/hp300/config.c static char s_hp425s[] __initdata = "425s";
s_hp425s           60 arch/m68k/hp300/config.c 	[HP_425S]	= s_hp425s,