plat_gic.h 2.19 KB