plat_gicv2.c 4.28 KB