plat_gicv3.c 7.8 KB