arm-gic-v4.h 2.79 KB