[ARM] Add show_ipi_list() call.

arch/arm/kernel/irq.c

@@ -231,6 +231,9 @@ int show_interrupts(struct seq_file *p, void *v)
 	} else if (i == NR_IRQS) {
 #ifdef CONFIG_ARCH_ACORN
 		show_fiq_list(p, v);
+#endif
+#ifdef CONFIG_SMP
+		show_ipi_list(p);
 #endif
 		seq_printf(p, "Err: %10lu\n", irq_err_count);
 	}

include/asm-arm/smp.h

@@ -32,6 +32,13 @@ extern cpumask_t cpu_present_mask;
  */
 #define PROC_CHANGE_PENALTY		15
 
+struct seq_file;
+
+/*
+ * generate IPI list text
+ */
+extern void show_ipi_list(struct seq_file *p);
+
 /*
  * Move global data into per-processor storage.
  */