arch_gicv3.h 4.02 KB