arch_cpu_init_percpu
status_t arch_cpu_init_percpu(struct kernel_args *args, int curr_cpu);
return arch_cpu_init_percpu(args, curr_cpu);