plat_gicv3.c 6.26 KB