arm_vgic.h 9.22 KB