arm_vgic.h revision 5b0d2cc2
1