plat_gic.c 10.1 KB