Print total number of GIC IRQs and those allocated for IPIs in case we
are routing IPIs via GIC. Since this is not critical information we use
pr_debug() so it won't spam the normal bootlog.
Cc: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
Cc: Jason Cooper <jason@xxxxxxxxxxxxxx>
Signed-off-by: Markos Chandras <markos.chandras@xxxxxxxxxx>
---
drivers/irqchip/irq-mips-gic.c | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/drivers/irqchip/irq-mips-gic.c b/drivers/irqchip/irq-mips-gic.c
index 7fbbe8787660..4d83da8fe854 100644
--- a/drivers/irqchip/irq-mips-gic.c
+++ b/drivers/irqchip/irq-mips-gic.c
@@ -797,6 +797,21 @@ static const struct irq_domain_ops gic_irq_domain_ops = {
.xlate = gic_irq_domain_xlate,
};
+static void __init gic_print_status(void)
+{
+ int i;
+
+ pr_debug("GIC IRQS:%d\n", gic_shared_intrs);
+ if (config_enabled(CONFIG_MIPS_GIC_IPI)) {
+ for (i = 0; i < nr_cpu_ids; i++) {
+ pr_debug("GIC call IPI:%d (CPU%d)\n",
+ gic_call_int_base + i, i);
+ pr_debug("GIC resched IPI:%d (CPU%d)\n",
+ gic_resched_int_base + i, i);
+ }
+ }
+}
+
static void __init __gic_init(unsigned long gic_base_addr,
unsigned long gic_addrspace_size,
unsigned int cpu_vec, unsigned int irqbase,
@@ -859,6 +874,8 @@ static void __init __gic_init(unsigned long gic_base_addr,
gic_basic_init();
gic_ipi_init();
+
+ gic_print_status();
}
void __init gic_init(unsigned long gic_base_addr,
--
2.4.5
