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);