plat_gic.h 3.43 KB