diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-04-07 17:55:10 -0400 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-05-01 11:45:21 -0400 |
commit | 7ff99e881f4c237e817f51b273c8eeb23660e0e8 (patch) | |
tree | 4f00f1024ecf0dbb9a94a67813ca4dadcdd6f3e6 | |
parent | 673d40302d2f9f205d80599df1f7dc41c874a74b (diff) |
SRP: simplify code
-rw-r--r-- | litmus/litmus_sem.c | 8 |
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 | /* ************************************************************************** */ |