5.3.3 GICv3/GICv4