Symbol: MMUID_425_S
sys/arch/hp300/hp300/machdep.c
401
{ HP_425, MMUID_425_S, "425s", 25000 },
sys/arch/hp300/stand/common/machdep.c
82
case MMUID_425_S: