gic_read_pmr       89 arch/arm64/kernel/process.c 	pmr = gic_read_pmr();
gic_read_pmr      691 drivers/irqchip/irq-gic-v3.c 	old_pmr = gic_read_pmr();
gic_read_pmr      705 drivers/irqchip/irq-gic-v3.c 	val = gic_read_pmr();