**/\r
#include <Base.h>\r
#include <Library/ArmLib.h>\r
+#include <Library/DebugLib.h>\r
#include <Library/PcdLib.h>\r
\r
VOID\r
VOID\r
)\r
{\r
- ArmCleanDataCache();\r
ArmInvalidateInstructionCache();\r
}\r
\r
VOID\r
)\r
{\r
- ArmInvalidateDataCache();\r
+ ASSERT (FALSE);\r
}\r
\r
VOID *\r
VOID\r
)\r
{\r
- ArmCleanInvalidateDataCache();\r
+ ASSERT (FALSE);\r
}\r
\r
VOID *\r
VOID\r
)\r
{\r
- ArmCleanDataCache();\r
+ ASSERT (FALSE);\r
}\r
\r
VOID *\r