audk/ArmPkg/Include/Ppi
..
ArmMpCoreInfo.h