move_task_off_dead_cpu 6195 kernel/sched.c 			move_task_off_dead_cpu(src_cpu, p);
move_task_off_dead_cpu 6264 kernel/sched.c 	move_task_off_dead_cpu(dead_cpu, p);