icache: something like this might flush the icache

diff --git a/vm/cpu-arm.64.hpp b/vm/cpu-arm.64.hpp
index b59abac052ded439671d2544f685c1b4827d588c..f30d17138e6f6e260f8d6fecbcae3c590f318f50 100644 (file)
--- a/vm/cpu-arm.64.hpp
+++ b/vm/cpu-arm.64.hpp
@@ -5,9 +5,11 @@ namespace factor {
 // register cell ds asm("r5");
 // register cell rs asm("r6");
 inline static void flush_icache(cell start, cell len) {
-  // int result;
-}
-
+  //__asm("ic ialluis");
+  //__asm volatile ("dmb sy" ::: "memory");
 
+  //dsb(nsh);
+  //isb();
+}
 
 }