arm_vgic.h 5.5 KB