arm32_post_smp_init 55 kernel/arch/arm32/src/arm32.c static void arm32_post_smp_init(void); arm32_post_smp_init 60 kernel/arch/arm32/src/arm32.c .post_smp_init = arm32_post_smp_init,