gic_private.h revision 17ce617b
1