3 Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
10 #define ARM_MMU_LIB_H_
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 (
57 IN UINT64 RegionStart
,
62 ArmSetMemoryAttributes (
63 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
68 #endif // ARM_MMU_LIB_H_