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