/roms/edk2/ArmPkg/Library/ArmGicArchLib/