plat_gic.c 9.94 KB