diff --git a/drivers/irqchip/irq-gic-v3.c b/drivers/irqchip/irq-gic-v3.c index f9d67d0416c6..7fc5ce6f584b 100644 --- a/drivers/irqchip/irq-gic-v3.c +++ b/drivers/irqchip/irq-gic-v3.c @@ -18,6 +18,7 @@ #include #include #include +#include #include #include @@ -493,9 +494,11 @@ static asmlinkage void __exception_irq_entry gic_handle_irq(struct pt_regs *regs gic_arch_enable_irqs(); } + if (likely(irqnr > 15 && irqnr < 1020) || irqnr >= 8192) { int err; + uncached_logk(LOGK_IRQ, (void *)(uintptr_t)irqnr); if (static_branch_likely(&supports_deactivate_key)) gic_write_eoir(irqnr); else @@ -509,6 +512,7 @@ static asmlinkage void __exception_irq_entry gic_handle_irq(struct pt_regs *regs return; } if (irqnr < 16) { + uncached_logk(LOGK_IRQ, (void *)(uintptr_t)irqnr); gic_write_eoir(irqnr); if (static_branch_likely(&supports_deactivate_key)) gic_write_dir(irqnr);