plat_gic.c 7.29 KB