aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/sched_cedf.c
diff options
context:
space:
mode:
authorGlenn Elliott <gelliott@cs.unc.edu>2013-02-11 19:24:10 -0500
committerGlenn Elliott <gelliott@cs.unc.edu>2013-02-11 19:24:10 -0500
commit40d12009bd0c3515c5bfee5425bd80f58cdd7b73 (patch)
tree08205dc1246c0283c213dbbb0714fe3baae4c397 /litmus/sched_cedf.c
parent71d7f3404ed6d11497ead7d6e41a49188e094f74 (diff)
PRIOQ_MUTEX dgl progress
Diffstat (limited to 'litmus/sched_cedf.c')
-rw-r--r--litmus/sched_cedf.c4
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}