arm_vgic.h 9.6 KB