vgic.h 2.35 KB