2016-06-15 17:54:10 +02:00
|
|
|
/** @file
|
|
|
|
|
|
|
|
Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>
|
|
|
|
|
2019-04-04 01:03:18 +02:00
|
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
2016-06-15 17:54:10 +02:00
|
|
|
|
|
|
|
**/
|
|
|
|
|
|
|
|
#ifndef __ARM_MMU_LIB__
|
|
|
|
#define __ARM_MMU_LIB__
|
|
|
|
|
|
|
|
#include <Uefi/UefiBaseType.h>
|
|
|
|
|
|
|
|
#include <Library/ArmLib.h>
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
ArmConfigureMmu (
|
|
|
|
IN ARM_MEMORY_REGION_DESCRIPTOR *MemoryTable,
|
|
|
|
OUT VOID **TranslationTableBase OPTIONAL,
|
|
|
|
OUT UINTN *TranslationTableSize OPTIONAL
|
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
ArmSetMemoryRegionNoExec (
|
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
ArmClearMemoryRegionNoExec (
|
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
ArmSetMemoryRegionReadOnly (
|
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
|
|
|
);
|
|
|
|
|
|
|
|
EFI_STATUS
|
|
|
|
EFIAPI
|
|
|
|
ArmClearMemoryRegionReadOnly (
|
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length
|
|
|
|
);
|
|
|
|
|
|
|
|
VOID
|
|
|
|
EFIAPI
|
|
|
|
ArmReplaceLiveTranslationEntry (
|
|
|
|
IN UINT64 *Entry,
|
2019-01-07 08:15:01 +01:00
|
|
|
IN UINT64 Value,
|
|
|
|
IN UINT64 RegionStart
|
2016-06-15 17:54:10 +02:00
|
|
|
);
|
|
|
|
|
2017-03-01 17:31:40 +01:00
|
|
|
EFI_STATUS
|
|
|
|
ArmSetMemoryAttributes (
|
|
|
|
IN EFI_PHYSICAL_ADDRESS BaseAddress,
|
|
|
|
IN UINT64 Length,
|
2017-03-01 17:31:41 +01:00
|
|
|
IN UINT64 Attributes
|
2017-03-01 17:31:40 +01:00
|
|
|
);
|
|
|
|
|
2016-06-15 17:54:10 +02:00
|
|
|
#endif
|