VOID
);
+
VOID
EFIAPI
ArmCleanInvalidateDataCache (
VOID
);
+VOID
+EFIAPI
+ArmUpdateTranslationTableEntry (
+ IN UINTN Mva
+ );
+
VOID
EFIAPI
ArmSetDomainAccessControl (
IN VOID *TranslationTableBase
);
+VOID *
+EFIAPI
+ArmGetTranslationTableBaseAddress (
+ VOID
+ );
+
VOID
EFIAPI
ArmConfigureMmu (
OUT UINTN *TranslationTableSize OPTIONAL
);
+BOOLEAN
+EFIAPI
+ArmMmuEnabled (
+ VOID
+ );
+
VOID
EFIAPI
ArmSwitchProcessorMode (