vgic.h 5.87 KB