3 * Copyright (c) 2011, ARM Limited. All rights reserved.
5 * This program and the accompanying materials
6 * are licensed and made available under the terms and conditions of the BSD License
7 * which accompanies this distribution. The full text of the license may be found at
8 * http://opensource.org/licenses/bsd-license.php
10 * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #include <Library/ArmPlatformLib.h>
16 #include <Library/DebugLib.h>
19 Return the Virtual Memory Map of your platform
21 This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU on your platform.
23 @param[out] VirtualMemoryMap Array of ARM_MEMORY_REGION_DESCRIPTOR describing a Physical-to-
24 Virtual Memory mapping. This array must be ended by a zero-filled
29 ArmPlatformGetVirtualMemoryMap (
30 IN ARM_MEMORY_REGION_DESCRIPTOR
** VirtualMemoryMap
37 Return the EFI Memory Map of your platform
39 This EFI Memory Map of the System Memory is used by MemoryInitPei module to create the Resource
40 Descriptor HOBs used by DXE core.
42 @param[out] EfiMemoryMap Array of ARM_SYSTEM_MEMORY_REGION_DESCRIPTOR describing an
43 EFI Memory region. This array must be ended by a zero-filled entry
47 ArmPlatformGetAdditionalSystemMemory (
48 OUT ARM_SYSTEM_MEMORY_REGION_DESCRIPTOR
** EfiMemoryMap
51 return EFI_UNSUPPORTED
;