#include <Base.h>\r
\r
#include <Library/ArmLib.h>\r
+#include <Library/DebugLib.h>\r
\r
#include <Chipset/AArch64.h>\r
\r
VOID\r
)\r
{\r
+ ASSERT (!ArmMmuEnabled ());\r
+\r
ArmDataSynchronizationBarrier ();\r
AArch64DataCacheOperation (ArmInvalidateDataCacheEntryBySetWay);\r
}\r
VOID\r
)\r
{\r
+ ASSERT (!ArmMmuEnabled ());\r
+\r
ArmDataSynchronizationBarrier ();\r
AArch64DataCacheOperation (ArmCleanInvalidateDataCacheEntryBySetWay);\r
}\r
VOID\r
)\r
{\r
+ ASSERT (!ArmMmuEnabled ());\r
+\r
ArmDataSynchronizationBarrier ();\r
AArch64DataCacheOperation (ArmCleanDataCacheEntryBySetWay);\r
}\r