ArmPkg: Added Aarch64 support

[mirror_edk2.git] / ArmPkg / Drivers / CpuDxe / CpuDxe.h

diff --git a/ArmPkg/Drivers/CpuDxe/CpuDxe.h b/ArmPkg/Drivers/CpuDxe/CpuDxe.h
index 7f59ca653c38bb1f21cde8b3b630723d577f7c42..075f2a18bf11471fc1e4e0dc1c5370d50230e382 100644 (file)
--- a/ArmPkg/Drivers/CpuDxe/CpuDxe.h
+++ b/ArmPkg/Drivers/CpuDxe/CpuDxe.h
@@ -148,9 +148,16 @@ SetMemoryAttributes (
   IN EFI_PHYSICAL_ADDRESS      VirtualMask\r
   );\r
 \r
+VOID\r
+GetRootTranslationTableInfo (\r
+  IN  UINTN    T0SZ,\r
+  OUT UINTN   *TableLevel,\r
+  OUT UINTN   *TableEntryCount\r
+  );\r
+\r
 EFI_STATUS\r
 SetGcdMemorySpaceAttributes (\r
-  IN EFI_GCD_MEMORY_SPACE_DESCRIPTOR     *MemorySpaceMap,\r
+  IN EFI_GCD_MEMORY_SPACE_DESCRIPTOR    *MemorySpaceMap,\r
   IN UINTN                               NumberOfDescriptors,\r
   IN EFI_PHYSICAL_ADDRESS                BaseAddress,\r
   IN UINT64                              Length,\r