arm_vgic.h revision 6c9eeb5f
1