Module: xenomai-jki
Branch: for-upstream
Commit: 83d3b9182c802b6b09f28c9519209180d40121e3
URL:    
http://git.xenomai.org/?p=xenomai-jki.git;a=commit;h=83d3b9182c802b6b09f28c9519209180d40121e3

Author: Jan Kiszka <jan.kis...@siemens.com>
Date:   Fri Jun 17 14:41:24 2011 +0200

nucleus: Ensure that xntbase_tick is only invoked inside IRQ contexts

Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>

---

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

diff --git a/ksrc/nucleus/timebase.c b/ksrc/nucleus/timebase.c
index 6f7c02f..b9727ca 100644
--- a/ksrc/nucleus/timebase.c
+++ b/ksrc/nucleus/timebase.c
@@ -481,6 +481,8 @@ void xntbase_tick(xntbase_t *base)
 
        xnlock_get_irqsave(&nklock, s);
 
+       XENO_ASSERT(NUCLEUS, xnpod_asynch_p, ;);
+
        trace_mark(xn_nucleus, tbase_tick, "base %s", base->name);
 
        if (base == &nktbase)


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

Reply via email to