Module: xenomai-2.4
Branch: master
Commit: d293e0c14303ecf496dfc06d0df5ad4a87e2ceb3
URL:    
http://git.xenomai.org/?p=xenomai-2.4.git;a=commit;h=d293e0c14303ecf496dfc06d0df5ad4a87e2ceb3

Author: Philippe Gerum <r...@xenomai.org>
Date:   Tue Aug 11 12:19:35 2009 +0200

nucleus: trap wrong interrupt state upon return from hardening

---

 ksrc/nucleus/shadow.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/ksrc/nucleus/shadow.c b/ksrc/nucleus/shadow.c
index 41d1636..5c3cd94 100644
--- a/ksrc/nucleus/shadow.c
+++ b/ksrc/nucleus/shadow.c
@@ -1108,6 +1108,7 @@ redo:
        set_current_state(TASK_INTERRUPTIBLE | TASK_ATOMICSWITCH);
        wake_up_interruptible_sync(&gk->waitq);
        schedule();     /* Will preempt_enable() thanks to TASK_ATOMICSWITCH */
+       XENO_BUGON(NUCLEUS, !irqs_disabled_hw());
        xnthread_clear_info(thread, XNATOMIC);
 
        /* Rare case: we might have been awaken by a signal before the


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to