ArmPlatformPkg: Replace BSD License with BSD+Patent License

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

/** @file\r
*  Main file supporting the transition to PEI Core in Normal World for Versatile Express\r
*\r
*  Copyright (c) 2011, ARM Limited. All rights reserved.\r
*\r
*  SPDX-License-Identifier: BSD-2-Clause-Patent\r
*\r
**/\r
#ifndef __PREPEICORE_H_\r
#define __PREPEICORE_H_\r
\r
#include <Library/ArmLib.h>\r
#include <Library/ArmPlatformLib.h>\r
#include <Library/BaseMemoryLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/IoLib.h>\r
#include <Library/PcdLib.h>\r
\r
#include <PiPei.h>\r
#include <Ppi/TemporaryRamSupport.h>\r
\r
VOID\r
CreatePpiList (\r
  OUT UINTN                   *PpiListSize,\r
  OUT EFI_PEI_PPI_DESCRIPTOR  **PpiList\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
PrePeiCoreTemporaryRamSupport (\r
  IN CONST EFI_PEI_SERVICES   **PeiServices,\r
  IN EFI_PHYSICAL_ADDRESS     TemporaryMemoryBase,\r
  IN EFI_PHYSICAL_ADDRESS     PermanentMemoryBase,\r
  IN UINTN                    CopySize\r
  );\r
\r
VOID\r
SecSwitchStack (\r
  INTN    StackDelta\r
  );\r
\r
// Vector Table for Pei Phase\r
VOID  PeiVectorTable (VOID);\r
\r
VOID\r
EFIAPI\r
PrimaryMain (\r
  IN  EFI_PEI_CORE_ENTRY_POINT  PeiCoreEntryPoint\r
  );\r
\r
/*\r
 * This is the main function for secondary cores. They loop around until a non Null value is written to\r
 * SYS_FLAGS register.The SYS_FLAGS register is platform specific.\r
 * Note:The secondary cores, while executing secondary_main, assumes that:\r
 *      : SGI 0 is configured as Non-secure interrupt\r
 *      : Priority Mask is configured to allow SGI 0\r
 *      : Interrupt Distributor and CPU interfaces are enabled\r
 *\r
 */\r
VOID\r
EFIAPI\r
SecondaryMain (\r
  IN UINTN MpId\r
  );\r
\r
VOID\r
PeiCommonExceptionEntry (\r
  IN UINT32 Entry,\r
  IN UINTN LR\r
  );\r
\r
#endif\r