GIC_PIDR2_ARCH_GICv4  777 drivers/irqchip/irq-gic-v3.c 		    reg != GIC_PIDR2_ARCH_GICv4) { /* We're in trouble... */
GIC_PIDR2_ARCH_GICv4 1599 drivers/irqchip/irq-gic-v3.c 	if (reg != GIC_PIDR2_ARCH_GICv3 && reg != GIC_PIDR2_ARCH_GICv4)
GIC_PIDR2_ARCH_GICv4 1846 drivers/irqchip/irq-gic-v3.c 	u32 size = reg == GIC_PIDR2_ARCH_GICv4 ? SZ_64K * 4 : SZ_64K * 2;