\r
VOID\r
PrimaryMain (\r
- IN UINTN UefiMemoryBase,\r
- IN UINTN StacksBase,\r
- IN UINT64 StartTimeStamp\r
+ IN UINTN UefiMemoryBase,\r
+ IN UINTN StacksBase,\r
+ IN UINT64 StartTimeStamp\r
)\r
{\r
// Enable the GIC Distributor\r
- ArmGicEnableDistributor(PcdGet64(PcdGicDistributorBase));\r
+ ArmGicEnableDistributor (PcdGet64 (PcdGicDistributorBase));\r
\r
// In some cases, the secondary cores are waiting for an SGI from the next stage boot loader to resume their initialization\r
- if (!FixedPcdGet32(PcdSendSgiToBringUpSecondaryCores)) {\r
+ if (!FixedPcdGet32 (PcdSendSgiToBringUpSecondaryCores)) {\r
// Sending SGI to all the Secondary CPU interfaces\r
- ArmGicSendSgiTo (PcdGet64(PcdGicDistributorBase), ARM_GIC_ICDSGIR_FILTER_EVERYONEELSE, 0x0E, PcdGet32 (PcdGicSgiIntId));\r
+ ArmGicSendSgiTo (PcdGet64 (PcdGicDistributorBase), ARM_GIC_ICDSGIR_FILTER_EVERYONEELSE, 0x0E, PcdGet32 (PcdGicSgiIntId));\r
}\r
\r
PrePiMain (UefiMemoryBase, StacksBase, StartTimeStamp);\r
\r
// We must never return\r
- ASSERT(FALSE);\r
+ ASSERT (FALSE);\r
}\r
\r
VOID\r
SecondaryMain (\r
- IN UINTN MpId\r
+ IN UINTN MpId\r
)\r
{\r
- EFI_STATUS Status;\r
- ARM_MP_CORE_INFO_PPI *ArmMpCoreInfoPpi;\r
- UINTN Index;\r
- UINTN ArmCoreCount;\r
- ARM_CORE_INFO *ArmCoreInfoTable;\r
- UINT32 ClusterId;\r
- UINT32 CoreId;\r
- VOID (*SecondaryStart)(VOID);\r
- UINTN SecondaryEntryAddr;\r
- UINTN AcknowledgeInterrupt;\r
- UINTN InterruptId;\r
-\r
- ClusterId = GET_CLUSTER_ID(MpId);\r
- CoreId = GET_CORE_ID(MpId);\r
+ EFI_STATUS Status;\r
+ ARM_MP_CORE_INFO_PPI *ArmMpCoreInfoPpi;\r
+ UINTN Index;\r
+ UINTN ArmCoreCount;\r
+ ARM_CORE_INFO *ArmCoreInfoTable;\r
+ UINT32 ClusterId;\r
+ UINT32 CoreId;\r
+\r
+ VOID (*SecondaryStart)(\r
+ VOID\r
+ );\r
+ UINTN SecondaryEntryAddr;\r
+ UINTN AcknowledgeInterrupt;\r
+ UINTN InterruptId;\r
+\r
+ ClusterId = GET_CLUSTER_ID (MpId);\r
+ CoreId = GET_CORE_ID (MpId);\r
\r
// On MP Core Platform we must implement the ARM MP Core Info PPI (gArmMpCoreInfoPpiGuid)\r
- Status = GetPlatformPpi (&gArmMpCoreInfoPpiGuid, (VOID**)&ArmMpCoreInfoPpi);\r
+ Status = GetPlatformPpi (&gArmMpCoreInfoPpiGuid, (VOID **)&ArmMpCoreInfoPpi);\r
ASSERT_EFI_ERROR (Status);\r
\r
ArmCoreCount = 0;\r
- Status = ArmMpCoreInfoPpi->GetMpCoreInfo (&ArmCoreCount, &ArmCoreInfoTable);\r
+ Status = ArmMpCoreInfoPpi->GetMpCoreInfo (&ArmCoreCount, &ArmCoreInfoTable);\r
ASSERT_EFI_ERROR (Status);\r
\r
// Find the core in the ArmCoreTable\r
} while (SecondaryEntryAddr == 0);\r
\r
// Jump to secondary core entry point.\r
- SecondaryStart = (VOID (*)())SecondaryEntryAddr;\r
- SecondaryStart();\r
+ SecondaryStart = (VOID (*)()) SecondaryEntryAddr;\r
+ SecondaryStart ();\r
\r
// The secondaries shouldn't reach here\r
- ASSERT(FALSE);\r
+ ASSERT (FALSE);\r
}\r