ArmPkg: Fix Ecc error 8003

[mirror_edk2.git] / ArmPkg / Include / Library / ArmMmuLib.h

/** @file\r
\r
  Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>\r
\r
  SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
\r
#ifndef ARM_MMU_LIB_H_\r
#define ARM_MMU_LIB_H_\r
\r
#include <Uefi/UefiBaseType.h>\r
\r
#include <Library/ArmLib.h>\r
\r
EFI_STATUS\r
EFIAPI\r
ArmConfigureMmu (\r
  IN  ARM_MEMORY_REGION_DESCRIPTOR  *MemoryTable,\r
  OUT VOID                          **TranslationTableBase OPTIONAL,\r
  OUT UINTN                         *TranslationTableSize  OPTIONAL\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
ArmSetMemoryRegionNoExec (\r
  IN  EFI_PHYSICAL_ADDRESS      BaseAddress,\r
  IN  UINT64                    Length\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
ArmClearMemoryRegionNoExec (\r
  IN  EFI_PHYSICAL_ADDRESS      BaseAddress,\r
  IN  UINT64                    Length\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
ArmSetMemoryRegionReadOnly (\r
  IN  EFI_PHYSICAL_ADDRESS      BaseAddress,\r
  IN  UINT64                    Length\r
  );\r
\r
EFI_STATUS\r
EFIAPI\r
ArmClearMemoryRegionReadOnly (\r
  IN  EFI_PHYSICAL_ADDRESS      BaseAddress,\r
  IN  UINT64                    Length\r
  );\r
\r
VOID\r
EFIAPI\r
ArmReplaceLiveTranslationEntry (\r
  IN  UINT64  *Entry,\r
  IN  UINT64  Value,\r
  IN  UINT64  RegionStart\r
  );\r
\r
EFI_STATUS\r
ArmSetMemoryAttributes (\r
  IN EFI_PHYSICAL_ADDRESS      BaseAddress,\r
  IN UINT64                    Length,\r
  IN UINT64                    Attributes\r
  );\r
\r
#endif // ARM_MMU_LIB_H_\r