vgic.h 12 KB