vgic-v2.c 7.0 KB