3 Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
9 #ifndef __ARM_MMU_LIB__
10 #define __ARM_MMU_LIB__
12 #include <Uefi/UefiBaseType.h>
14 #include <Library/ArmLib.h>
19 IN ARM_MEMORY_REGION_DESCRIPTOR
*MemoryTable
,
20 OUT VOID
**TranslationTableBase OPTIONAL
,
21 OUT UINTN
*TranslationTableSize OPTIONAL
26 ArmSetMemoryRegionNoExec (
27 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
33 ArmClearMemoryRegionNoExec (
34 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
40 ArmSetMemoryRegionReadOnly (
41 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
47 ArmClearMemoryRegionReadOnly (
48 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
54 ArmReplaceLiveTranslationEntry (
61 ArmSetMemoryAttributes (
62 IN EFI_PHYSICAL_ADDRESS BaseAddress
,