arm-gic-v4.h 3.1 KB