/roms/edk2/ArmPkg/Include/Ppi/

• ../
• ArmMpCoreInfo.h