arm-gic-v4.h 3.77 KB