* src/vm/jit/arm/md.c (md_dcacheflush): Does nothing now.
}
+/* md_dcacheflush **************************************************************
+
+ Calls the system's function to flush the data cache.
+
+*******************************************************************************/
+
+void md_dcacheflush(u1 *addr, s4 nbytes)
+{
+ /* do nothing */
+}
+
+
/* md_patch_replacement_point **************************************************
Patch the given replacement point.
void md_dcacheflush(u1 *addr, s4 nbytes)
{
- asm_cacheflush(addr, nbytes);
+ /* do nothing */
}