amd64_post_cpu_init 71 kernel/arch/amd64/src/amd64.c static void amd64_post_cpu_init(void); amd64_post_cpu_init 78 kernel/arch/amd64/src/amd64.c .post_cpu_init = amd64_post_cpu_init,