/** @file
|
|
Copyright (c) 2018, ARM Ltd. All rights reserved.
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
**/
|
|
#ifndef STANDALONE_MM_MMU_LIB_
|
#define STANDALONE_MM_MMU_LIB_
|
|
EFI_STATUS
|
ArmSetMemoryRegionNoExec (
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
IN UINT64 Length
|
);
|
|
EFI_STATUS
|
ArmClearMemoryRegionNoExec (
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
IN UINT64 Length
|
);
|
|
EFI_STATUS
|
ArmSetMemoryRegionReadOnly (
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
IN UINT64 Length
|
);
|
|
EFI_STATUS
|
ArmClearMemoryRegionReadOnly (
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
IN UINT64 Length
|
);
|
|
#endif /* STANDALONE_MM_MMU_LIB_ */
|
