__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);