Module: xenomai-gch
Branch: for-forge
Commit: ab1948e6ba72dfe89a3609a142bb628aa6c3a260
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=ab1948e6ba72dfe89a3609a142bb628aa6c3a260

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Tue Oct  8 22:26:43 2013 +0200

cobalt/intr: IPIs number are not know at compilation time on ARM

---

 kernel/cobalt/intr.c |   18 +++++++++---------
 1 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/kernel/cobalt/intr.c b/kernel/cobalt/intr.c
index 638be6a..b6cbbe6 100644
--- a/kernel/cobalt/intr.c
+++ b/kernel/cobalt/intr.c
@@ -1001,23 +1001,23 @@ static inline int format_irq_proc(unsigned int irq,
                        return 0;
                }
 
-       switch (irq) {
 #ifdef CONFIG_SMP
-       case IPIPE_HRTIMER_IPI:
+       if (irq == IPIPE_HRTIMER_IPI) {
                xnvfile_puts(it, "         [timer-ipi]");
                return 0;
-       case IPIPE_RESCHEDULE_IPI:
+       }
+       if (irq == IPIPE_RESCHEDULE_IPI) {
                xnvfile_puts(it, "         [reschedule]");
                return 0;
-       case IPIPE_CRITICAL_IPI:
+       }
+       if (irq == IPIPE_CRITICAL_IPI) {
                xnvfile_puts(it, "         [sync]");
                return 0;
+       }
 #endif /* CONFIG_SMP */
-       default:
-               if (ipipe_virtual_irq_p(irq)) {
-                       xnvfile_puts(it, "         [virtual]");
-                       return 0;
-               }
+       if (ipipe_virtual_irq_p(irq)) {
+               xnvfile_puts(it, "         [virtual]");
+               return 0;
        }
 
        mutex_lock(&intrlock);


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to