80 lines
1.7 KiB
C
80 lines
1.7 KiB
C
/** @file
|
|
*
|
|
* Copyright (c) 2011-2012, ARM Limited. All rights reserved.
|
|
*
|
|
* This program and the accompanying materials
|
|
* are licensed and made available under the terms and conditions of the BSD License
|
|
* which accompanies this distribution. The full text of the license may be found at
|
|
* http://opensource.org/licenses/bsd-license.php
|
|
*
|
|
* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
*
|
|
**/
|
|
|
|
#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>
|
|
#include <Library/ArmPlatformLib.h>
|
|
|
|
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);
|
|
|
|
extern UINT64 mSystemMemoryEnd;
|
|
|
|
RETURN_STATUS
|
|
EFIAPI
|
|
TimerConstructor (
|
|
VOID
|
|
);
|
|
|
|
VOID
|
|
PrePiMain (
|
|
IN UINTN UefiMemoryBase,
|
|
IN UINTN StacksBase,
|
|
IN UINTN GlobalVariableBase,
|
|
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
|
|
);
|
|
|
|
EFI_STATUS
|
|
GetPlatformPpi (
|
|
IN EFI_GUID *PpiGuid,
|
|
OUT VOID **Ppi
|
|
);
|
|
|
|
// Initialize the Architecture specific controllers
|
|
VOID
|
|
ArchInitialize (
|
|
VOID
|
|
);
|
|
|
|
#endif /* _PREPI_H_ */
|