arm32_post_mm_init 54 kernel/arch/arm32/src/arm32.c static void arm32_post_mm_init(void); arm32_post_mm_init 59 kernel/arch/arm32/src/arm32.c .post_mm_init = arm32_post_mm_init,