ArmVirtPkg/PrePi/PrePi.h

   1 /** @file
   2 *
   3 *  Copyright (c) 2011-2012, ARM Limited. All rights reserved.
   4 *
   5 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   6 *
   7 **/
   8
   9 #ifndef _PREPI_H_
  10 #define _PREPI_H_
  11
  12 #include <PiPei.h>
  13
  14 #include <Library/PcdLib.h>
  15 #include <Library/ArmLib.h>
  16 #include <Library/BaseMemoryLib.h>
  17 #include <Library/DebugLib.h>
  18 #include <Library/IoLib.h>
  19 #include <Library/MemoryAllocationLib.h>
  20 #include <Library/HobLib.h>
  21 #include <Library/SerialPortLib.h>
  22
  23 #define SerialPrint(txt)  SerialPortWrite (txt, AsciiStrLen(txt)+1);
  24
  25 RETURN_STATUS
  26 EFIAPI
  27 TimerConstructor (
  28   VOID
  29   );
  30
  31 VOID
  32 PrePiMain (
  33   IN  UINTN                     UefiMemoryBase,
  34   IN  UINTN                     StacksBase,
  35   IN  UINT64                    StartTimeStamp
  36   );
  37
  38 EFI_STATUS
  39 EFIAPI
  40 MemoryPeim (
  41   IN EFI_PHYSICAL_ADDRESS       UefiMemoryBase,
  42   IN UINT64                     UefiMemorySize
  43   );
  44
  45 EFI_STATUS
  46 EFIAPI
  47 PlatformPeim (
  48   VOID
  49   );
  50
  51 // Either implemented by PrePiLib or by MemoryInitPei
  52 VOID
  53 BuildMemoryTypeInformationHob (
  54   VOID
  55   );
  56
  57 // Initialize the Architecture specific controllers
  58 VOID
  59 ArchInitialize (
  60   VOID
  61   );
  62
  63 #endif /* _PREPI_H_ */