|
@@ -382,7 +382,7 @@ void __cpuinit gic_enable_ppi(unsigned int irq)
|
|
unsigned long flags;
|
|
unsigned long flags;
|
|
|
|
|
|
local_irq_save(flags);
|
|
local_irq_save(flags);
|
|
- irq_to_desc(irq)->status |= IRQ_NOPROBE;
|
|
|
|
|
|
+ irq_set_status_flags(irq, IRQ_NOPROBE);
|
|
gic_unmask_irq(irq_get_irq_data(irq));
|
|
gic_unmask_irq(irq_get_irq_data(irq));
|
|
local_irq_restore(flags);
|
|
local_irq_restore(flags);
|
|
}
|
|
}
|