|
|
@@ -117,13 +117,17 @@ os_dcache_flush()
|
|
|
&& defined(CONFIG_ARCH_HAVE_TEXT_HEAP_SEPARATE_DATA_ADDRESS)
|
|
|
up_textheap_data_sync();
|
|
|
#endif
|
|
|
+#ifndef CONFIG_BUILD_KERNEL
|
|
|
up_invalidate_dcache_all();
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
void
|
|
|
os_icache_flush(void *start, size_t len)
|
|
|
{
|
|
|
+#ifndef CONFIG_BUILD_KERNEL
|
|
|
up_invalidate_icache((uintptr_t)start, (uintptr_t)start + len);
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
#if (WASM_MEM_DUAL_BUS_MIRROR != 0)
|