plat_gic.c 10 KB