arm-vgic-v3.rst 12.3 KB