ArmPlatformPkg: Introduction of gArmPlatformTokenSpaceGuid.PcdCoreCount

On ARM PLatforms, there is no standard way to know how many cores are
available on the platform.
This PCD is expected to contain this number.

Signed-off-by: Olivier Martin <olivier.martin@arm.com>



git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@13769 6f19259b-4bc3-4df7-8a09-765794883524

ArmPlatformPkg/PrePi/PrePi.c

@@ -212,6 +212,8 @@ CEntryPoint (
 {
   UINT64   StartTimeStamp;
  
+  ASSERT(!ArmIsMpCore() || (PcdGet32 (PcdCoreCount) > 1));
+
   // Initialize the platform specific controllers
   ArmPlatformInitialize (MpId);