plat_gicv3.c 8.59 KB