arm_vgic.h 10.8 KB