diff options
-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 | /* ************************************************************************** */ |