smp4d_boot_one_cpu
int smp4d_boot_one_cpu(int i, struct task_struct *idle);
ret = smp4d_boot_one_cpu(cpu, tidle);