VOID\r
PrimaryMain (\r
IN UINTN UefiMemoryBase,\r
- IN UINTN StackBase,\r
+ IN UINTN StacksBase,\r
+ IN UINTN GlobalVariableBase,\r
IN UINT64 StartTimeStamp\r
)\r
{\r
- PrePiMain (UefiMemoryBase, StackBase, StartTimeStamp);\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
ASSERT(FALSE);\r
\r
VOID\r
SecondaryMain (\r
- IN UINTN CoreId\r
+ IN UINTN MpId\r
)\r
{\r
// We must never get into this function on UniCore system\r