vgic.h 2.4 KB