diff --git a/core/shared/platform/nuttx/nuttx_platform.c b/core/shared/platform/nuttx/nuttx_platform.c index dcefb7e84..171adb344 100644 --- a/core/shared/platform/nuttx/nuttx_platform.c +++ b/core/shared/platform/nuttx/nuttx_platform.c @@ -10,6 +10,8 @@ #include #endif +#include + int bh_platform_init() { @@ -115,11 +117,14 @@ os_dcache_flush() && defined(CONFIG_ARCH_HAVE_TEXT_HEAP_SEPARATE_DATA_ADDRESS) up_textheap_data_sync(); #endif + up_invalidate_dcache_all(); } void os_icache_flush(void *start, size_t len) -{} +{ + up_invalidate_icache((uintptr_t)start, (uintptr_t)start + len); +} #if (WASM_MEM_DUAL_BUS_MIRROR != 0) void *