vgic-v3.c 19.1 KB