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