arm_vgic.h 9.3 KB