123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 |
- /** @file
- *
- * Copyright (c) 2011-2012, ARM Limited. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-2-Clause-Patent
- *
- **/
- #ifndef _PREPI_H_
- #define _PREPI_H_
- #include <PiPei.h>
- #include <Library/PcdLib.h>
- #include <Library/ArmLib.h>
- #include <Library/BaseMemoryLib.h>
- #include <Library/DebugLib.h>
- #include <Library/IoLib.h>
- #include <Library/MemoryAllocationLib.h>
- #include <Library/HobLib.h>
- #include <Library/SerialPortLib.h>
- #define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);
- RETURN_STATUS
- EFIAPI
- TimerConstructor (
- VOID
- );
- VOID
- PrePiMain (
- IN UINTN UefiMemoryBase,
- IN UINTN StacksBase,
- IN UINT64 StartTimeStamp
- );
- EFI_STATUS
- EFIAPI
- MemoryPeim (
- IN EFI_PHYSICAL_ADDRESS UefiMemoryBase,
- IN UINT64 UefiMemorySize
- );
- EFI_STATUS
- EFIAPI
- PlatformPeim (
- VOID
- );
- // Either implemented by PrePiLib or by MemoryInitPei
- VOID
- BuildMemoryTypeInformationHob (
- VOID
- );
- // Initialize the Architecture specific controllers
- VOID
- ArchInitialize (
- VOID
- );
- #endif /* _PREPI_H_ */
|