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