VOID\r
PrimaryMain (\r
IN UINTN UefiMemoryBase,\r
- IN UINTN StackBase,\r
IN UINT64 StartTimeStamp\r
)\r
{\r
//Enable the GIC Distributor\r
PL390GicEnableDistributor(PcdGet32(PcdGicDistributorBase));\r
\r
- // If ArmVe has not been built as Standalone then we need to wake up the secondary cores\r
- if (!FixedPcdGet32(PcdStandalone)) {\r
+ // In some cases, the secondary cores are waiting for an SGI from the next stage boot loader toresume their initialization\r
+ if (!FixedPcdGet32(PcdSendSgiToBringUpSecondaryCores)) {\r
// Sending SGI to all the Secondary CPU interfaces\r
PL390GicSendSgiTo (PcdGet32(PcdGicDistributorBase), GIC_ICDSGIR_FILTER_EVERYONEELSE, 0x0E);\r
}\r
\r
- PrePiMain (UefiMemoryBase, StackBase, StartTimeStamp);\r
+ PrePiMain (UefiMemoryBase, StartTimeStamp);\r
\r
// We must never return\r
ASSERT(FALSE);\r