diff --git a/drivers/irqchip/irq-gic.c b/drivers/irqchip/irq-gic.c index 882204d1ef4fe..9c69f29f9d64d 100644 --- a/drivers/irqchip/irq-gic.c +++ b/drivers/irqchip/irq-gic.c @@ -38,6 +38,7 @@ #include #include #include +#include #include #include @@ -362,6 +363,7 @@ static void __exception_irq_entry gic_handle_irq(struct pt_regs *regs) writel_relaxed(irqstat, cpu_base + GIC_CPU_EOI); isb(); handle_domain_irq(gic->domain, irqnr, regs); + uncached_logk(LOGK_IRQ, (void *)(uintptr_t)irqnr); continue; } if (irqnr < 16) { @@ -379,6 +381,7 @@ static void __exception_irq_entry gic_handle_irq(struct pt_regs *regs) smp_rmb(); handle_IPI(irqnr, regs); #endif + uncached_logk(LOGK_IRQ, (void *)(uintptr_t)irqnr); continue; } break;