cpu_arch_id_init 84 kernel/arch/amd64/src/smp/smp.c static void cpu_arch_id_init(void) cpu_arch_id_init 84 kernel/arch/ia32/src/smp/smp.c static void cpu_arch_id_init(void)