ArmVirtPkg/Include/Library/ArmVirtMemInfoLib.h

   1 /** @file
   2
   3   Copyright (c) 2011-2013, ARM Limited. All rights reserved.
   4   Copyright (c) 2017, Linaro, Ltd. All rights reserved.
   5
   6   SPDX-License-Identifier: BSD-2-Clause-Patent
   7
   8 **/
   9
  10 #ifndef _ARM_VIRT_MEMINFO_LIB_H_
  11 #define _ARM_VIRT_MEMINFO_LIB_H_
  12
  13 #include <Base.h>
  14 #include <Library/ArmLib.h>
  15
  16 /**
  17   Return the Virtual Memory Map of your platform
  18
  19   This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU
  20   on your platform.
  21
  22   @param[out]   VirtualMemoryMap    Array of ARM_MEMORY_REGION_DESCRIPTOR
  23                                     describing a Physical-to-Virtual Memory
  24                                     mapping. This array must be ended by a
  25                                     zero-filled entry. The allocated memory
  26                                     will not be freed.
  27
  28 **/
  29 VOID
  30 EFIAPI
  31 ArmVirtGetMemoryMap (
  32   OUT ARM_MEMORY_REGION_DESCRIPTOR  **VirtualMemoryMap
  33   );
  34
  35 #endif