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