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