/** @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 |