amd64_post_smp_init 73 kernel/arch/amd64/src/amd64.c static void amd64_post_smp_init(void); amd64_post_smp_init 80 kernel/arch/amd64/src/amd64.c .post_smp_init = amd64_post_smp_init