preempt: be sure to never call proc_switch() or proc_yield() with IRQs disabled.

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

diff --git a/bertos/kern/preempt.c b/bertos/kern/preempt.c
index 19c43d3c0c01da72d468cf9752faceddf44ad8c5..3037c15cc47f4258fb342e896b15c3937d054cbb 100644 (file)
--- a/bertos/kern/preempt.c
+++ b/bertos/kern/preempt.c
@@ -203,6 +203,7 @@ void proc_preempt(void)
 void proc_switch(void)
 {
        ASSERT(proc_preemptAllowed());
+       IRQ_ASSERT_ENABLED();
 
        ATOMIC(proc_schedule());
 }
@@ -219,6 +220,7 @@ void proc_yield(void)
         * ASSERT if it happens.
         */
        ASSERT(proc_preemptAllowed());
+       IRQ_ASSERT_ENABLED();
 
        ATOMIC(
                SCHED_ENQUEUE(current_process);