Report IPIs by name

PATCH New Jan Kiszka 1 participant 1 message Jul 12, 2007

Share & tools

Jan Kiszka

author

2007-07-12 22:18 UTC #0 lore raw

PATCH 3/3 Report IPIs by name

Trivial beautification of /proc/xenomai/irq: Starring at the output of some SMP box, I wondered what those two unnamed IRQs are for...

---
 ksrc/nucleus/intr.c |    8 ++++++++
 1 file changed, 8 insertions(+)

ksrc/nucleus/intr.c +8 -0

Index: xenomai/ksrc/nucleus/intr.c
===================================================================
@@ -860,6 +860,14 @@ int xnintr_irq_proc(unsigned int irq, ch
 	} else if (irq == XNARCH_TIMER_IRQ) {
 		p += sprintf(p, "         [timer]");
 		return p - str;
+#ifdef CONFIG_SMP
+	} else if (irq == RTHAL_SERVICE_IPI0) {
+		p += sprintf(p, "         [IPI]");
+		return p - str;
+	} else if (irq == RTHAL_CRITICAL_IPI) {
+		p += sprintf(p, "         [critical sync]");
+		return p - str;
+#endif /* CONFIG_SMP */
 	}
 
 	xnlock_get_irqsave(&intrlock, s);