__set_task_cpu   1846 kernel/sched.c 	__set_task_cpu(p, new_cpu);
__set_task_cpu   5864 kernel/sched.c 	__set_task_cpu(idle, cpu);