cpu_arch_id_init 111 kernel/arch/amd64/src/smp/smp.c cpu_arch_id_init(); cpu_arch_id_init 111 kernel/arch/ia32/src/smp/smp.c cpu_arch_id_init();