ia32_post_smp_init 73 kernel/arch/ia32/src/ia32.c static void ia32_post_smp_init(void); ia32_post_smp_init 80 kernel/arch/ia32/src/ia32.c .post_smp_init = ia32_post_smp_init,