gic_v3.h revision 33a1ca73
1