arm_vgic.h 5.8 KB