2011-07-01 13:09:00 +02:00
|
|
|
/** @file
|
|
|
|
*
|
2012-09-28 11:54:13 +02:00
|
|
|
* Copyright (c) 2011-2012, ARM Limited. All rights reserved.
|
2011-07-01 13:09:00 +02:00
|
|
|
*
|
|
|
|
* 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>
|
2011-11-02 00:41:52 +01:00
|
|
|
#include <Library/BaseMemoryLib.h>
|
2011-07-01 13:09:00 +02:00
|
|
|
#include <Library/DebugLib.h>
|
2011-11-02 00:41:52 +01:00
|
|
|
#include <Library/IoLib.h>
|
2011-07-01 13:09:00 +02:00
|
|
|
#include <Library/MemoryAllocationLib.h>
|
|
|
|
#include <Library/HobLib.h>
|
|
|
|
#include <Library/SerialPortLib.h>
|
|
|
|
#include <Library/ArmPlatformLib.h>
|
|
|
|
|
|
|
|
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);
|
|
|
|
|
|
|
|
RETURN_STATUS
|
|
|
|
EFIAPI
|
|
|
|
TimerConstructor (
|
|
|
|
VOID
|
|
|
|
);
|
|
|
|
|
|
|
|
VOID
|
|
|
|
PrePiMain (
|
|
|
|
IN UINTN UefiMemoryBase,
|
2011-09-23 01:07:55 +02:00
|
|
|
IN UINTN StacksBase,
|
|
|
|
IN UINTN GlobalVariableBase,
|
2011-07-01 13:09:00 +02:00
|
|
|
IN UINT64 StartTimeStamp
|
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
MemoryPeim (
|
2011-07-06 18:27:21 +02:00
|
|
|
IN EFI_PHYSICAL_ADDRESS UefiMemoryBase,
|
|
|
|
IN UINT64 UefiMemorySize
|
2011-07-01 13:09:00 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
PlatformPeim (
|
|
|
|
VOID
|
|
|
|
);
|
|
|
|
|
|
|
|
VOID
|
|
|
|
PrimaryMain (
|
|
|
|
IN UINTN UefiMemoryBase,
|
2011-09-23 01:07:55 +02:00
|
|
|
IN UINTN StacksBase,
|
|
|
|
IN UINTN GlobalVariableBase,
|
2011-07-01 13:09:00 +02:00
|
|
|
IN UINT64 StartTimeStamp
|
|
|
|
);
|
|
|
|
|
|
|
|
VOID
|
|
|
|
SecondaryMain (
|
2011-09-23 01:01:13 +02:00
|
|
|
IN UINTN MpId
|
2011-07-01 13:09:00 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
// Either implemented by PrePiLib or by MemoryInitPei
|
|
|
|
VOID
|
|
|
|
BuildMemoryTypeInformationHob (
|
|
|
|
VOID
|
|
|
|
);
|
|
|
|
|
2012-07-04 22:17:46 +02:00
|
|
|
EFI_STATUS
|
|
|
|
GetPlatformPpi (
|
|
|
|
IN EFI_GUID *PpiGuid,
|
|
|
|
OUT VOID **Ppi
|
|
|
|
);
|
|
|
|
|
2011-07-01 13:09:00 +02:00
|
|
|
#endif /* _PREPI_H_ */
|