arm-gic-v4.h 3.3 KB