ppc32_post_mm_init 63 kernel/arch/ppc32/src/ppc32.c static void ppc32_post_mm_init(void); ppc32_post_mm_init 68 kernel/arch/ppc32/src/ppc32.c .post_mm_init = ppc32_post_mm_init,