diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-02-11 19:24:10 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-02-11 19:24:10 -0500 |
commit | 40d12009bd0c3515c5bfee5425bd80f58cdd7b73 (patch) | |
tree | 08205dc1246c0283c213dbbb0714fe3baae4c397 /litmus/sched_cedf.c | |
parent | 71d7f3404ed6d11497ead7d6e41a49188e094f74 (diff) |
PRIOQ_MUTEX dgl progress
Diffstat (limited to 'litmus/sched_cedf.c')
-rw-r--r-- | litmus/sched_cedf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/litmus/sched_cedf.c b/litmus/sched_cedf.c index 9b6d25f11c93..40daf8e16d74 100644 --- a/litmus/sched_cedf.c +++ b/litmus/sched_cedf.c | |||
@@ -1479,13 +1479,13 @@ static void nested_increase_priority_inheritance(struct task_struct* t, | |||
1479 | irqflags); | 1479 | irqflags); |
1480 | } | 1480 | } |
1481 | else { | 1481 | else { |
1482 | TRACE_TASK(t, "Inheritor is blocked on lock (%d) that does not support nesting!\n", | 1482 | TRACE_TASK(t, "Inheritor is blocked on litmus lock (%d) that does not support nesting!\n", |
1483 | blocked_lock->ident); | 1483 | blocked_lock->ident); |
1484 | unlock_fine_irqrestore(to_unlock, irqflags); | 1484 | unlock_fine_irqrestore(to_unlock, irqflags); |
1485 | } | 1485 | } |
1486 | } | 1486 | } |
1487 | else { | 1487 | else { |
1488 | TRACE_TASK(t, "is not blocked. No propagation.\n"); | 1488 | TRACE_TASK(t, "is not blocked on litmus lock. No propagation.\n"); |
1489 | unlock_fine_irqrestore(to_unlock, irqflags); | 1489 | unlock_fine_irqrestore(to_unlock, irqflags); |
1490 | } | 1490 | } |
1491 | } | 1491 | } |