X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fkern%2Fpreempt.c;h=3037c15cc47f4258fb342e896b15c3937d054cbb;hb=d2c2001899efee5a35d5a63d8327a8e02b680101;hp=19c43d3c0c01da72d468cf9752faceddf44ad8c5;hpb=32d1445272120a254d77ce8d1af1f527da7a2c17;p=bertos.git

diff --git a/bertos/kern/preempt.c b/bertos/kern/preempt.c
index 19c43d3c..3037c15c 100644
--- 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);