gic_read_ctlr     678 drivers/irqchip/irq-gic-v3.c 	pribits = gic_read_ctlr();
gic_read_ctlr     967 drivers/irqchip/irq-gic-v3.c 	per_cpu(has_rss, cpu) = !!(gic_read_ctlr() & ICC_CTLR_EL1_RSS);
gic_read_ctlr    1018 drivers/irqchip/irq-gic-v3.c 	     !(gic_read_ctlr() & ICC_CTLR_EL1_ExtRange),