arm_vgic.h 6.2 KB