/roms/edk2/ArmPkg/Include/Guid/

• ../
• ArmMpCoreInfo.h