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

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

nucleus: postpone sanity check to allow for signal receipt

---

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

diff --git a/ksrc/nucleus/shadow.c b/ksrc/nucleus/shadow.c
index 938c768..01268a5 100644
--- a/ksrc/nucleus/shadow.c
+++ b/ksrc/nucleus/shadow.c
@@ -948,7 +948,6 @@ 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);
 
        /*
@@ -968,6 +967,8 @@ redo:
                return -ERESTARTSYS;
        }
 
+       XENO_BUGON(NUCLEUS, !irqs_disabled_hw());
+
        /* "current" is now running into the Xenomai domain. */
        sched = xnsched_finish_unlocked_switch(thread->sched);
 


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

Reply via email to