Symbol: ppc4xx_reset
sys/arch/powerpc/ibm4xx/ibm4xx_machdep.c
230
ppc4xx_reset();
sys/arch/powerpc/powerpc/db_interface.c
579
ppc4xx_reset();