ppc32_pre_mm_init 62 kernel/arch/ppc32/src/ppc32.c static void ppc32_pre_mm_init(void); ppc32_pre_mm_init 67 kernel/arch/ppc32/src/ppc32.c .pre_mm_init = ppc32_pre_mm_init,