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