ia32_pre_mm_init 69 kernel/arch/ia32/src/ia32.c static void ia32_pre_mm_init(void); ia32_pre_mm_init 76 kernel/arch/ia32/src/ia32.c .pre_mm_init = ia32_pre_mm_init,