ArmPlatformLib.h

Go to the documentation of this file.

 
#ifndef _ARMPLATFORMLIB_H_
#define _ARMPLATFORMLIB_H_
 
//
// The package level header files this module uses
//
#include <PiPei.h>
//
// The protocols, PPI and GUID definitions for this module
//
#include <Ppi/MasterBootMode.h>
#include <Ppi/BootInRecoveryMode.h>
 
#include <Library/ArmLib.h>
 
EFI_BOOT_MODE
ArmPlatformGetBootMode (
  VOID
  );
 
VOID
ArmPlatformPeiBootAction (
  VOID
  );
 
RETURN_STATUS
ArmPlatformInitialize (
  IN  UINTN  MpId
  );
 
VOID
ArmPlatformGetVirtualMemoryMap (
  OUT ARM_MEMORY_REGION_DESCRIPTOR  **VirtualMemoryMap
  );
 
VOID
ArmPlatformGetPlatformPpiList (
  OUT UINTN                   *PpiListSize,
  OUT EFI_PEI_PPI_DESCRIPTOR  **PpiList
  );
 
#endif