diff options
-rw-r--r-- | kernel/sched.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kernel/sched.c b/kernel/sched.c index 3055fe806ff7..73bb4d9ef989 100644 --- a/kernel/sched.c +++ b/kernel/sched.c | |||
@@ -3023,8 +3023,7 @@ go_idle: | |||
3023 | dequeue_task(next, array); | 3023 | dequeue_task(next, array); |
3024 | next->prio = new_prio; | 3024 | next->prio = new_prio; |
3025 | enqueue_task(next, array); | 3025 | enqueue_task(next, array); |
3026 | } else | 3026 | } |
3027 | requeue_task(next, array); | ||
3028 | } | 3027 | } |
3029 | next->sleep_type = SLEEP_NORMAL; | 3028 | next->sleep_type = SLEEP_NORMAL; |
3030 | switch_tasks: | 3029 | switch_tasks: |