Module: xenomai-forge
Branch: master
Commit: aad8933341579690b24af217eb022b82cede8319
URL:
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=aad8933341579690b24af217eb022b82cede8319
Author: Philippe Gerum <r...@xenomai.org>
Date: Thu Jun 13 16:08:46 2013 +0200
nucleus: fix build issues
---
kernel/cobalt/nucleus/intr.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/kernel/cobalt/nucleus/intr.c b/kernel/cobalt/nucleus/intr.c
index befdb4d..b84c7b5 100644
--- a/kernel/cobalt/nucleus/intr.c
+++ b/kernel/cobalt/nucleus/intr.c
@@ -207,7 +207,7 @@ static void xnintr_shirq_handler(unsigned irq, void *cookie)
if (unlikely(s == XN_ISR_NONE)) {
if (++shirq->unhandled == XNINTR_MAX_UNHANDLED) {
- printk(XENO_ERR "%s: IRQ%d not handled. Disabling IRQ
line\n"
+ printk(XENO_ERR "%s: IRQ%d not handled. Disabling IRQ
line\n",
__FUNCTION__, irq);
s |= XN_ISR_NOENABLE;
}
_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git
