arm_vgic.h 6.23 KB