arm_vgic.h 5.3 KB