GicV3 « ArmGic « Drivers « ArmPkg - edk2-platforms.git - (https://github.com/tianocore/edk2-platforms)

Mode	Name	Size
d---------	AArch64	38	log plain
d---------	Arm	78	log plain
-rw-r--r--	ArmGicV3Dxe.c	10476	log plain