diff options
| author | oliviermartin <oliviermartin@6f19259b-4bc3-4df7-8a09-765794883524> | 2012-09-28 10:43:28 +0000 |
|---|---|---|
| committer | oliviermartin <oliviermartin@6f19259b-4bc3-4df7-8a09-765794883524> | 2012-09-28 10:43:28 +0000 |
| commit | 695df8ba90dc01b6a4cd7d79e6d1a40e517186a6 (patch) | |
| tree | 8d97bd9f61e316d9fff7133e4d8dd14e04b80071 /ArmPlatformPkg/PrePi/PrePi.c | |
| parent | 0a6653bc2aecaa621eb42c7137b6f13815a34a92 (diff) | |
| download | edk2-695df8ba90dc01b6a4cd7d79e6d1a40e517186a6.zip edk2-695df8ba90dc01b6a4cd7d79e6d1a40e517186a6.tar.gz edk2-695df8ba90dc01b6a4cd7d79e6d1a40e517186a6.tar.bz2 | |
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
Diffstat (limited to 'ArmPlatformPkg/PrePi/PrePi.c')
| -rwxr-xr-x | ArmPlatformPkg/PrePi/PrePi.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ArmPlatformPkg/PrePi/PrePi.c b/ArmPlatformPkg/PrePi/PrePi.c index c3fca90..bdeb60d 100755 --- a/ArmPlatformPkg/PrePi/PrePi.c +++ b/ArmPlatformPkg/PrePi/PrePi.c @@ -212,6 +212,8 @@ CEntryPoint ( {
UINT64 StartTimeStamp;
+ ASSERT(!ArmIsMpCore() || (PcdGet32 (PcdCoreCount) > 1));
+
// Initialize the platform specific controllers
ArmPlatformInitialize (MpId);
|