3 Copyright (c) 2018, ARM Ltd. All rights reserved.
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 __STANDALONEMM_MMU_LIB__
16 #define __STANDALONEMM_MMU_LIB__
19 ArmSetMemoryRegionNoExec (
20 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
25 ArmClearMemoryRegionNoExec (
26 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
31 ArmSetMemoryRegionReadOnly (
32 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
37 ArmClearMemoryRegionReadOnly (
38 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
42 #endif /* __STANDALONEMM_MMU_LIB__ */