amd64_pre_smp_init 72 kernel/arch/amd64/src/amd64.c static void amd64_pre_smp_init(void); amd64_pre_smp_init 79 kernel/arch/amd64/src/amd64.c .pre_smp_init = amd64_pre_smp_init,