IN UINT64 StartTimeStamp\r
)\r
{\r
+ DEBUG_CODE_BEGIN();\r
+ // On MPCore system, PeiMpCore.inf should be used instead of PeiUniCore.inf\r
+ ASSERT(ArmIsMpCore() == 0);\r
+ DEBUG_CODE_END();\r
+\r
PrePiMain (UefiMemoryBase, StacksBase, GlobalVariableBase, StartTimeStamp);\r
\r
// We must never return\r