plat_gic.c 1.19 KB