GIC_PIDR2_ARCH_GICv3
return GIC_PIDR2_ARCH_GICv3 | 0x0b;
if (reg != GIC_PIDR2_ARCH_GICv3 && reg != GIC_PIDR2_ARCH_GICv4)
if (reg != GIC_PIDR2_ARCH_GICv3 &&