ArmPlatformPkg: fixups for 64-bit pointers

[mirror_edk2.git] / ArmPlatformPkg / PrePi / MainUniCore.c

/** @file\r
*\r
*  Copyright (c) 2011, ARM Limited. All rights reserved.\r
*\r
*  This program and the accompanying materials\r
*  are licensed and made available under the terms and conditions of the BSD License\r
*  which accompanies this distribution.  The full text of the license may be found at\r
*  http://opensource.org/licenses/bsd-license.php\r
*\r
*  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
*\r
**/\r
\r
#include "PrePi.h"\r
\r
VOID\r
PrimaryMain (\r
  IN  UINTN                     UefiMemoryBase,\r
  IN  UINTN                     StacksBase,\r
  IN  UINT64                    StartTimeStamp\r
  )\r
{\r
  DEBUG_CODE_BEGIN();\r
    // On MPCore system, PeiMpCore.inf should be used instead of PeiUniCore.inf\r
    ASSERT(ArmIsMpCore() == 0);\r
  DEBUG_CODE_END();\r
\r
  PrePiMain (UefiMemoryBase, StacksBase, StartTimeStamp);\r
\r
  // We must never return\r
  ASSERT(FALSE);\r
}\r
\r
VOID\r
SecondaryMain (\r
  IN  UINTN                     MpId\r
  )\r
{\r
  // We must never get into this function on UniCore system\r
  ASSERT(FALSE);\r
}\r
\r