Updating ArmLib.h to add functions needed to turn on paging in CpuDxe. Also added a protocol to enable debugging of DMA issues. DxeCpu driver will produce and the UncachedMemoryAllocationLib can consume.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9717 6f19259b-4bc3-4df7-8a09-765794883524

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 (