__set_task_cpu   1751 kernel/sched/core.c 	__set_task_cpu(p, new_cpu);
__set_task_cpu   2896 kernel/sched/core.c 	__set_task_cpu(p, smp_processor_id());
__set_task_cpu   2956 kernel/sched/core.c 	__set_task_cpu(p, select_task_rq(p, task_cpu(p), SD_BALANCE_FORK, 0));
__set_task_cpu   6052 kernel/sched/core.c 	__set_task_cpu(idle, cpu);