Symbol: ibm4xx_dumpsys
sys/arch/powerpc/ibm4xx/ibm4xx_machdep.c
189
ibm4xx_dumpsys();
sys/arch/powerpc/include/ibm4xx/cpu.h
74
extern void ibm4xx_dumpsys(void);