plat_gicv2.c 4.68 KB