set_task_rq 1760 kernel/sched.c set_task_rq(p, cpu); set_task_rq 8723 kernel/sched.c set_task_rq(tsk, task_cpu(tsk));