1 /** @file
2 
3   Copyright (c) 2018, ARM Ltd. All rights reserved.
4 
5   SPDX-License-Identifier: BSD-2-Clause-Patent
6 
7 **/
8 
9 #ifndef __STANDALONEMM_MMU_LIB__
10 #define __STANDALONEMM_MMU_LIB__
11 
12 EFI_STATUS
13 ArmSetMemoryRegionNoExec (
14   IN  EFI_PHYSICAL_ADDRESS      BaseAddress,
15   IN  UINT64                    Length
16   );
17 
18 EFI_STATUS
19 ArmClearMemoryRegionNoExec (
20   IN  EFI_PHYSICAL_ADDRESS      BaseAddress,
21   IN  UINT64                    Length
22   );
23 
24 EFI_STATUS
25 ArmSetMemoryRegionReadOnly (
26   IN  EFI_PHYSICAL_ADDRESS      BaseAddress,
27   IN  UINT64                    Length
28   );
29 
30 EFI_STATUS
31 ArmClearMemoryRegionReadOnly (
32   IN  EFI_PHYSICAL_ADDRESS      BaseAddress,
33   IN  UINT64                    Length
34   );
35 
36 #endif /* __STANDALONEMM_MMU_LIB__ */
37