arm32_pre_mm_init 53 kernel/arch/arm32/src/arm32.c static void arm32_pre_mm_init(void); arm32_pre_mm_init 58 kernel/arch/arm32/src/arm32.c .pre_mm_init = arm32_pre_mm_init,