diff options
Diffstat (limited to 'drivers/irqchip/irq-gic-v3.c')
| -rw-r--r-- | drivers/irqchip/irq-gic-v3.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/irqchip/irq-gic-v3.c b/drivers/irqchip/irq-gic-v3.c index 4ff2ee2609ca..2e0f61a2dc3f 100644 --- a/drivers/irqchip/irq-gic-v3.c +++ b/drivers/irqchip/irq-gic-v3.c @@ -289,6 +289,9 @@ static int gic_irq_get_irqchip_state(struct irq_data *d, } static void gic_disable_irq(struct irq_data *d) { + /* don't lazy-disable PPIs */ + if (gic_irq(d) < 32) + gic_mask_irq(d); if (gic_arch_extn.irq_disable) gic_arch_extn.irq_disable(d); } |