GIC_PIDR2_ARCH_GICv4
if (reg != GIC_PIDR2_ARCH_GICv3 && reg != GIC_PIDR2_ARCH_GICv4)
u32 size = reg == GIC_PIDR2_ARCH_GICv4 ? SZ_64K * 4 : SZ_64K * 2;
reg != GIC_PIDR2_ARCH_GICv4) { /* We're in trouble... */