__set_task_cpu
__set_task_cpu(p, new_cpu);
__set_task_cpu(p, smp_processor_id());
__set_task_cpu(p, select_task_rq(p, task_cpu(p), &wake_flags));
__set_task_cpu(p, cpu);
__set_task_cpu(idle, cpu);