diff options
Diffstat (limited to 'litmus/sched_litmus.c')
-rw-r--r-- | litmus/sched_litmus.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/litmus/sched_litmus.c b/litmus/sched_litmus.c index 9a6fe487718e..62854b576796 100644 --- a/litmus/sched_litmus.c +++ b/litmus/sched_litmus.c | |||
@@ -177,8 +177,10 @@ static void enqueue_task_litmus(struct rq *rq, struct task_struct *p, | |||
177 | litmus->task_wake_up(p); | 177 | litmus->task_wake_up(p); |
178 | 178 | ||
179 | rq->litmus.nr_running++; | 179 | rq->litmus.nr_running++; |
180 | } else | 180 | } else { |
181 | TRACE_TASK(p, "ignoring an enqueue, not a wake up.\n"); | 181 | TRACE_TASK(p, "ignoring an enqueue, not a wake up.\n"); |
182 | //WARN_ON(1); | ||
183 | } | ||
182 | } | 184 | } |
183 | 185 | ||
184 | static void dequeue_task_litmus(struct rq *rq, struct task_struct *p, | 186 | static void dequeue_task_litmus(struct rq *rq, struct task_struct *p, |