arm64_post_smp_init 50 kernel/arch/arm64/src/arm64.c static void arm64_post_smp_init(void); arm64_post_smp_init 54 kernel/arch/arm64/src/arm64.c .post_smp_init = arm64_post_smp_init,