Move preempt_forbid_cnt to a more suitable place.

[bertos.git] / bertos / kern / signal.c

diff --git a/bertos/kern/signal.c b/bertos/kern/signal.c
index d4fe178ed75567c21348dc72b1665eb477a608a3..948d68f1d814c687e8edb805b047da4596975242 100644 (file)
--- a/bertos/kern/signal.c
+++ b/bertos/kern/signal.c
@@ -136,11 +136,13 @@ sigmask_t sig_wait(sigmask_t sigs)
 {
        sigmask_t result;
        cpuflags_t flags;
-       extern int preempt_forbid_cnt;
 
        /* Sleeping with IRQs disabled or preemption forbidden is illegal */
        IRQ_ASSERT_ENABLED();
+
+       #if CONFIG_KERN_PREEMPT
        ASSERT(preempt_forbid_cnt == 0);
+       #endif
 
        /*
         * This is subtle: there's a race condition where a concurrent