From 1931f2e5d5de9cf0b9b093b99d2dea6547537ab8 Mon Sep 17 00:00:00 2001
From: Huang Qi <huangqi3@xiaomi.com>
Date: Thu, 27 Mar 2025 14:56:02 +0800
Subject: [PATCH] nuttx: remove the up_x API for kernel build (#4154)

Signed-off-by: buxiasen <buxiasen@xiaomi.com>
Co-authored-by: buxiasen <buxiasen@xiaomi.com>
---
 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 171adb344..7a28005d4 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)