s_hp425e           44 arch/m68k/hp300/config.c static char s_hp425e[] __initdata = "425e";
s_hp425e           61 arch/m68k/hp300/config.c 	[HP_425E]	= s_hp425e,