Symbol: CPU_ID_IXP425_533
sys/arch/arm/arm/cpufunc.c
1938
if (cputype == CPU_ID_IXP425_533 || cputype == CPU_ID_IXP425_400 ||
sys/arch/arm/arm32/cpu.c
481
{ CPU_ID_IXP425_533, CPU_CLASS_XSCALE, "IXP425 533MHz",