vgic.h 3.5 KB