plat_gicv2.c 3.65 KB