old_pmr 689 drivers/irqchip/irq-gic-v3.c u32 old_pmr; old_pmr 691 drivers/irqchip/irq-gic-v3.c old_pmr = gic_read_pmr(); old_pmr 707 drivers/irqchip/irq-gic-v3.c gic_write_pmr(old_pmr);