aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern B. Brandenburg <bbb@cs.unc.edu>2008-04-07 17:55:10 -0400
committerBjoern B. Brandenburg <bbb@cs.unc.edu>2008-05-01 11:45:21 -0400
commit7ff99e881f4c237e817f51b273c8eeb23660e0e8 (patch)
tree4f00f1024ecf0dbb9a94a67813ca4dadcdd6f3e6
parent673d40302d2f9f205d80599df1f7dc41c874a74b (diff)
SRP: simplify code
-rw-r--r--litmus/litmus_sem.c8
1 files changed, 3 insertions, 5 deletions
diff --git a/litmus/litmus_sem.c b/litmus/litmus_sem.c
index 8151087c1a..60e82a2494 100644
--- a/litmus/litmus_sem.c
+++ b/litmus/litmus_sem.c
@@ -552,11 +552,9 @@ void srp_ceiling_block(void)
552 preempt_disable(); 552 preempt_disable();
553 TRACE_CUR("finally exceeds system ceiling.\n"); 553 TRACE_CUR("finally exceeds system ceiling.\n");
554 remove_wait_queue(&__get_cpu_var(srp).ceiling_blocked, &wait); 554 remove_wait_queue(&__get_cpu_var(srp).ceiling_blocked, &wait);
555 preempt_enable(); 555 } else
556 } else { 556 TRACE_CUR("is not priority ceiling blocked\n");
557 TRACE_CUR("is not priority ceiling blocked\n"); 557 preempt_enable();
558 preempt_enable();
559 }
560} 558}
561 559
562/* ************************************************************************** */ 560/* ************************************************************************** */