Hi,
I'm looking at the ARMv8 Foundation Model User Guide (ARM DUI 0677C). In section 3.1, Memory Map, the following data appears regarding the address of GICv2 registers:
0x00_2C00_0000 0x00_2C00_1FFF, GIC Physical CPU interface, GICC, 8KB
0x00_2C00_1000…