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 6b32cf09abbd..9de03c95b825 100644 --- a/litmus/sched_litmus.c +++ b/litmus/sched_litmus.c | |||
@@ -175,8 +175,10 @@ static void enqueue_task_litmus(struct rq *rq, struct task_struct *p, | |||
175 | litmus->task_wake_up(p); | 175 | litmus->task_wake_up(p); |
176 | 176 | ||
177 | rq->litmus.nr_running++; | 177 | rq->litmus.nr_running++; |
178 | } else | 178 | } else { |
179 | TRACE_TASK(p, "ignoring an enqueue, not a wake up.\n"); | 179 | TRACE_TASK(p, "ignoring an enqueue, not a wake up.\n"); |
180 | //WARN_ON(1); | ||
181 | } | ||
180 | } | 182 | } |
181 | 183 | ||
182 | static void dequeue_task_litmus(struct rq *rq, struct task_struct *p, | 184 | static void dequeue_task_litmus(struct rq *rq, struct task_struct *p, |