arm64_post_mm_init 49 kernel/arch/arm64/src/arm64.c static void arm64_post_mm_init(void); arm64_post_mm_init 53 kernel/arch/arm64/src/arm64.c .post_mm_init = arm64_post_mm_init,