\r
#include <Library/ArmLib.h>\r
#include <Library/ArmGicLib.h>\r
+#include <Library/ArmPlatformLib.h>\r
#include <Library/ArmPlatformSecLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/PcdLib.h>\r
// Warning: This code assumes the DRAM has already been initialized by ArmPlatformSecLib\r
//\r
\r
- if (IS_PRIMARY_CORE(MpId)) {\r
+ if (ArmPlatformIsPrimaryCore (MpId)) {\r
UINTN* StartAddress = (UINTN*)PcdGet32(PcdFvBaseAddress);\r
\r
// Patch the DRAM to make an infinite loop at the start address\r
// Warning: This code assumes the DRAM has already been initialized by ArmPlatformSecLib\r
//\r
\r
- if (IS_PRIMARY_CORE(MpId)) {\r
+ if (ArmPlatformIsPrimaryCore (MpId)) {\r
// Signal the secondary cores they can jump to PEI phase\r
ArmGicSendSgiTo (PcdGet32(PcdGicDistributorBase), ARM_GIC_ICDSGIR_FILTER_EVERYONEELSE, 0x0E, PcdGet32 (PcdGicSgiIntId));\r
\r