ia32_post_mm_init 70 kernel/arch/ia32/src/ia32.c static void ia32_post_mm_init(void); ia32_post_mm_init 77 kernel/arch/ia32/src/ia32.c .post_mm_init = ia32_post_mm_init,