ArmPlatformPkg: Change the memory model for the ARM Platform components

[mirror_edk2.git] / ArmPlatformPkg / PrePi / PrePi.h

/** @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
#ifndef _PREPI_H_\r
#define _PREPI_H_\r
\r
#include <PiPei.h>\r
\r
#include <Library/PcdLib.h>\r
#include <Library/ArmLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/MemoryAllocationLib.h>\r
#include <Library/HobLib.h>\r
#include <Library/SerialPortLib.h>\r
#include <Library/ArmPlatformLib.h>\r
\r
#include <Chipset/ArmV7.h>\r
\r
#define ARM_PRIMARY_CORE  0\r
#define SerialPrint(txt)  SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r
// Vector Table for PrePi Phase\r
VOID\r
PrePiVectorTable (\r
  VOID\r
  );\r
\r
RETURN_STATUS\r
EFIAPI\r
TimerConstructor (\r
  VOID\r
  );\r
\r
VOID\r
PrePiMain (\r
  IN  UINTN                     UefiMemoryBase,\r
  IN  UINT64                    StartTimeStamp\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
MemoryPeim (\r
  IN EFI_PHYSICAL_ADDRESS       UefiMemoryBase,\r
  IN UINT64                     UefiMemorySize\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
PlatformPeim (\r
  VOID\r
  );\r
\r
VOID\r
PrimaryMain (\r
  IN  UINTN                     UefiMemoryBase,\r
  IN  UINT64                    StartTimeStamp\r
  );\r
\r
VOID\r
SecondaryMain (\r
  IN  UINTN                     CoreId\r
  );\r
\r
// Either implemented by PrePiLib or by MemoryInitPei\r
VOID\r
BuildMemoryTypeInformationHob (\r
  VOID\r
  );\r
\r
#endif /* _PREPI_H_ */\r