[Xenomai-core] [PATCH 3/3] Report IPIs by name

[Jan Kiszka <jan.kiszka@domain.hid>]

[-- Attachment #1.1: Type: text/plain, Size: 137 bytes --]

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

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1.2: name-ipis-in-proc-output.patch --]
[-- Type: text/x-patch; name="name-ipis-in-proc-output.patch", Size: 725 bytes --]

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

Index: xenomai/ksrc/nucleus/intr.c
===================================================================
--- xenomai.orig/ksrc/nucleus/intr.c
+++ 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);

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 249 bytes --]