ArmPlatformPkg/ArmPlatformLib.h: Removed non-required header file

[mirror_edk2.git] / ArmPlatformPkg / Include / Library / ArmPlatformLib.h

/** @file\r
*\r
*  Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
*  \r
*  This program and the accompanying materials                          \r
*  are licensed and made available under the terms and conditions of the BSD License         \r
*  which accompanies this distribution.  The full text of the license may be found at        \r
*  http://opensource.org/licenses/bsd-license.php                                            \r
*\r
*  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     \r
*  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             \r
*\r
**/\r
\r
#ifndef _ARMPLATFORMLIB_H_\r
#define _ARMPLATFORMLIB_H_\r
\r
//\r
// The package level header files this module uses\r
//\r
#include <PiPei.h>\r
//\r
// The protocols, PPI and GUID defintions for this module\r
//\r
#include <Ppi/MasterBootMode.h>\r
#include <Ppi/BootInRecoveryMode.h>\r
\r
#include <Library/ArmLib.h>\r
\r
/**\r
  This structure is used to describe a region of the EFI memory map\r
\r
  Every EFI regions of the system memory described by their physical start address and their size\r
  can have different attributes. Some regions can be tested and other untested.\r
\r
**/\r
typedef struct {\r
  EFI_RESOURCE_ATTRIBUTE_TYPE  ResourceAttribute;\r
  EFI_PHYSICAL_ADDRESS         PhysicalStart;\r
  UINT64                       NumberOfBytes;\r
} ARM_SYSTEM_MEMORY_REGION_DESCRIPTOR;\r
\r
UINTN\r
ArmPlatformGetCorePosition (\r
  IN UINTN MpId\r
  );\r
\r
/**\r
  Return the current Boot Mode\r
\r
  This function returns the boot reason on the platform\r
\r
  @return   Return the current Boot Mode of the platform\r
\r
**/\r
EFI_BOOT_MODE\r
ArmPlatformGetBootMode (\r
  VOID\r
  );\r
\r
/**\r
  Initialize controllers that must setup in the normal world\r
\r
  This function is called by the ArmPlatformPkg/PrePi or ArmPlatformPkg/PlatformPei\r
  in the PEI phase.\r
\r
**/\r
RETURN_STATUS\r
ArmPlatformInitialize (\r
  IN  UINTN                     MpId\r
  );\r
\r
/**\r
  Initialize the system (or sometimes called permanent) memory\r
\r
  This memory is generally represented by the DRAM.\r
\r
**/\r
VOID\r
ArmPlatformInitializeSystemMemory (\r
  VOID\r
  );\r
\r
/**\r
  Return the Virtual Memory Map of your platform\r
\r
  This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU on your platform.\r
\r
  @param[out]   VirtualMemoryMap    Array of ARM_MEMORY_REGION_DESCRIPTOR describing a Physical-to-\r
                                    Virtual Memory mapping. This array must be ended by a zero-filled\r
                                    entry\r
\r
**/\r
VOID\r
ArmPlatformGetVirtualMemoryMap (\r
  OUT ARM_MEMORY_REGION_DESCRIPTOR** VirtualMemoryMap\r
  );\r
\r
/**\r
  Return the Platform specific PPIs\r
\r
  This function exposes the Platform Specific PPIs. They can be used by any PrePi modules or passed\r
  to the PeiCore by PrePeiCore.\r
\r
  @param[out]   PpiListSize         Size in Bytes of the Platform PPI List\r
  @param[out]   PpiList             Platform PPI List\r
\r
**/\r
VOID\r
ArmPlatformGetPlatformPpiList (\r
  OUT UINTN                   *PpiListSize,\r
  OUT EFI_PEI_PPI_DESCRIPTOR  **PpiList\r
  );\r
\r
#endif\r