arch_smp_per_cpu_init
status_t arch_smp_per_cpu_init(kernel_args* args, int32 cpu);
arch_smp_per_cpu_init(args, 0);
return arch_smp_per_cpu_init(args, cpu);