/** @file
|
|
Copyright (c) 2011-2013, ARM Limited. All rights reserved.
|
Copyright (c) 2017, Linaro, Ltd. All rights reserved.
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
**/
|
|
#ifndef _ARM_VIRT_MEMINFO_LIB_H_
|
#define _ARM_VIRT_MEMINFO_LIB_H_
|
|
#include <Base.h>
|
#include <Library/ArmLib.h>
|
|
/**
|
Return the Virtual Memory Map of your platform
|
|
This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU
|
on your platform.
|
|
@param[out] VirtualMemoryMap Array of ARM_MEMORY_REGION_DESCRIPTOR
|
describing a Physical-to-Virtual Memory
|
mapping. This array must be ended by a
|
zero-filled entry. The allocated memory
|
will not be freed.
|
|
**/
|
VOID
|
EFIAPI
|
ArmVirtGetMemoryMap (
|
OUT ARM_MEMORY_REGION_DESCRIPTOR **VirtualMemoryMap
|
);
|
|
#endif
|
