arm_vgic.h 11.0 KB