arch_int_gicv2.h revision 36d65a78
1