Updating ArmLib.h to add functions needed to turn on paging in CpuDxe. Also added...

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

diff --git a/ArmPkg/Include/Library/ArmLib.h b/ArmPkg/Include/Library/ArmLib.h
index d68b334e2aab32c7bfc96b59442e4672a7c02011..5cadb3c42ad506dbd1cb43ed50601c3779dc4c76 100644 (file)
--- a/ArmPkg/Include/Library/ArmLib.h
+++ b/ArmPkg/Include/Library/ArmLib.h
@@ -151,6 +151,7 @@ ArmInvalidateDataCache (
   VOID
   );
 
+
 VOID
 EFIAPI
 ArmCleanInvalidateDataCache (
@@ -259,6 +260,11 @@ ArmSetTranslationTableBaseAddress (
   IN  VOID  *TranslationTableBase
   );
 
+VOID *
+EFIAPI
+ArmGetTranslationTableBaseAddress (
+  );
+
 VOID
 EFIAPI
 ArmConfigureMmu (
@@ -267,6 +273,12 @@ ArmConfigureMmu (
   OUT UINTN                         *TranslationTableSize  OPTIONAL
   );
   
+BOOLEAN
+EFIAPI
+ArmMmuEnabled (
+  VOID
+  );
+  
 VOID
 EFIAPI
 ArmSwitchProcessorMode (