mips32_post_smp_init 64 kernel/arch/mips32/src/mips32.c static void mips32_post_smp_init(void); mips32_post_smp_init 69 kernel/arch/mips32/src/mips32.c .post_smp_init = mips32_post_smp_init,