arm_vgic.h 5.43 KB