arm-gic-v4.h 3.8 KB