ia32_pre_smp_init 72 kernel/arch/ia32/src/ia32.c static void ia32_pre_smp_init(void); ia32_pre_smp_init 79 kernel/arch/ia32/src/ia32.c .pre_smp_init = ia32_pre_smp_init,