Symbol: MMUID_425_T
sys/arch/hp300/hp300/machdep.c
400
{ HP_425, MMUID_425_T, "425t", 25000 },
sys/arch/hp300/stand/common/machdep.c
80
case MMUID_425_T: