plat_gicv3.c 6.72 KB