return RETURN_SUCCESS;\r
}\r
\r
-/**\r
- Initialize the system (or sometimes called permanent) memory\r
-\r
- This memory is generally represented by the DRAM.\r
-\r
-**/\r
-VOID\r
-ArmPlatformInitializeSystemMemory (\r
- VOID\r
- )\r
-{\r
-}\r
-\r
EFI_STATUS\r
PrePeiCoreGetMpCoreInfo (\r
OUT UINTN *CoreCount,\r
return EFI_SUCCESS;\r
}\r
\r
-// Needs to be declared in the file. Otherwise gArmMpCoreInfoPpiGuid is undefined in the contect of PrePeiCore\r
-EFI_GUID mArmMpCoreInfoPpiGuid = ARM_MP_CORE_INFO_PPI_GUID;\r
ARM_MP_CORE_INFO_PPI mMpCoreInfoPpi = { PrePeiCoreGetMpCoreInfo };\r
\r
EFI_PEI_PPI_DESCRIPTOR gPlatformPpiTable[] = {\r
{\r
EFI_PEI_PPI_DESCRIPTOR_PPI,\r
- &mArmMpCoreInfoPpiGuid,\r
+ &gArmMpCoreInfoPpiGuid,\r
&mMpCoreInfoPpi\r
}\r
};\r