arm_vgic.h 11.3 KB