3 Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>
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 #ifndef __ARM_MMU_LIB__
16 #define __ARM_MMU_LIB__
18 #include <Uefi/UefiBaseType.h>
20 #include <Library/ArmLib.h>
25 IN ARM_MEMORY_REGION_DESCRIPTOR
*MemoryTable
,
26 OUT VOID
**TranslationTableBase OPTIONAL
,
27 OUT UINTN
*TranslationTableSize OPTIONAL
32 ArmSetMemoryRegionNoExec (
33 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
39 ArmClearMemoryRegionNoExec (
40 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
46 ArmSetMemoryRegionReadOnly (
47 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
53 ArmClearMemoryRegionReadOnly (
54 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
60 ArmReplaceLiveTranslationEntry (
66 ArmSetMemoryAttributes (
67 IN EFI_PHYSICAL_ADDRESS BaseAddress
,