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

Author: Philippe Gerum <r...@xenomai.org>
Date:   Tue Aug 11 12:20:15 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 ee59923..938c768 100644
--- a/ksrc/nucleus/shadow.c
+++ b/ksrc/nucleus/shadow.c
@@ -948,6 +948,7 @@ redo:
        set_current_state(TASK_INTERRUPTIBLE | TASK_ATOMICSWITCH);
        wake_up_interruptible_sync(&sched->gkwaitq);
        schedule();     /* Will preempt_enable() thanks to TASK_ATOMICSWITCH */
+       XENO_BUGON(NUCLEUS, !irqs_disabled_hw());
        xnthread_clear_info(thread, XNATOMIC);
 
        /*


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

Reply via email to