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