/ArmPkg/Include/Ppi/

• ../
• ArmMpCoreInfo.h