diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-07-10 12:34:34 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-08-07 03:46:52 -0400 |
commit | a8ffcb17006ab6e278526ae8ab75d15fd08d030f (patch) | |
tree | bec0d92d5d733fb7998293e26bae16aa0f02f596 /kernel/exit.c | |
parent | 15a3dd60f0dc56db35d3335e7ea0ea8ab67eedfb (diff) |
Call sched_state_task_picked() from pick_next_task_stop()
Otherwise, the scheduler state machine becomes confused (and goes into
a rescheduling loop) when stop-machine is triggered.
Diffstat (limited to 'kernel/exit.c')
0 files changed, 0 insertions, 0 deletions