2018-11-27 11:43:57 +01:00
|
|
|
/** @file
|
|
|
|
|
|
|
|
Copyright (c) 2018, ARM Ltd. All rights reserved.
|
|
|
|
|
2019-04-04 01:03:18 +02:00
|
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
2018-11-27 11:43:57 +01:00
|
|
|
|
|
|
|
**/
|
|
|
|
|
2021-04-20 13:00:23 +02:00
|
|
|
#ifndef STANDALONE_MM_MMU_LIB_
|
|
|
|
#define STANDALONE_MM_MMU_LIB_
|
2018-11-27 11:43:57 +01:00
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
ArmSetMemoryRegionNoExec (
|
2021-12-05 23:53:50 +01:00
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
2018-11-27 11:43:57 +01:00
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
ArmClearMemoryRegionNoExec (
|
2021-12-05 23:53:50 +01:00
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
2018-11-27 11:43:57 +01:00
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
ArmSetMemoryRegionReadOnly (
|
2021-12-05 23:53:50 +01:00
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
2018-11-27 11:43:57 +01:00
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
ArmClearMemoryRegionReadOnly (
|
2021-12-05 23:53:50 +01:00
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
2018-11-27 11:43:57 +01:00
|
|
|
);
|
|
|
|
|
2021-04-20 13:00:23 +02:00
|
|
|
#endif /* STANDALONE_MM_MMU_LIB_ */
|