diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:50 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 06:21:19 -0400 |
| commit | fec18fc634e6ff5d6bef6cf0b5844fd82483576d (patch) | |
| tree | 75cad7d1cf3a3cfec288dac4950538ec0c9e8005 /Documentation/nios2/README | |
| parent | 0db6e11e49f7bc4893ffff4d8a7af1235894d986 (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 'Documentation/nios2/README')
0 files changed, 0 insertions, 0 deletions