\r
Copyright (c) 2015 - 2016, Linaro Ltd. All rights reserved.<BR>\r
\r
- This program and the accompanying materials\r
- are licensed and made available under the terms and conditions of the BSD License\r
- which accompanies this distribution. The full text of the license may be found at\r
- http://opensource.org/licenses/bsd-license.php\r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
\r
-#ifndef __ARM_MMU_LIB__\r
-#define __ARM_MMU_LIB__\r
+#ifndef ARM_MMU_LIB_H_\r
+#define ARM_MMU_LIB_H_\r
\r
#include <Uefi/UefiBaseType.h>\r
\r
EFIAPI\r
ArmReplaceLiveTranslationEntry (\r
IN UINT64 *Entry,\r
- IN UINT64 Value\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
- IN EFI_PHYSICAL_ADDRESS VirtualMask\r
+ IN UINT64 Attributes\r
);\r
\r
-#endif\r
+#endif // ARM_MMU_LIB_H_\r