From 4c48220b8dfc276a0a391cd2d668232c48b5919e Mon Sep 17 00:00:00 2001 From: buxiasen Date: Fri, 21 Mar 2025 14:40:23 +0800 Subject: [PATCH] nuttx: remove the up_x API for kernel build Signed-off-by: buxiasen --- core/shared/platform/nuttx/nuttx_platform.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/core/shared/platform/nuttx/nuttx_platform.c b/core/shared/platform/nuttx/nuttx_platform.c index 171adb3446..7a28005d41 100644 --- a/core/shared/platform/nuttx/nuttx_platform.c +++ b/core/shared/platform/nuttx/nuttx_platform.c @@ -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)