arm_vgic.h 6.5 KB