arm_vgic.h 11.6 KB