nuttx: remove the up_x API for kernel build (#4154)

no1wudi · jasonbu · web-flow · commit 1931f2e5d5de · 2025-03-27T14:56:02.000+08:00
Signed-off-by: buxiasen &lt;buxiasen@xiaomi.com&gt;
Co-authored-by: buxiasen &lt;buxiasen@xiaomi.com&gt;
diff --git 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)

Original file line number	Diff line number	Diff line change
`@@ -117,13 +117,17 @@ os_dcache_flush()`
`117`	`117`	`&& defined(CONFIG_ARCH_HAVE_TEXT_HEAP_SEPARATE_DATA_ADDRESS)`
`118`	`118`	`up_textheap_data_sync();`
`119`	`119`	`#endif`
	`120`	`+#ifndef CONFIG_BUILD_KERNEL`
`120`	`121`	`up_invalidate_dcache_all();`
	`122`	`+#endif`
`121`	`123`	`}`
`122`	`124`
`123`	`125`	`void`
`124`	`126`	`os_icache_flush(void *start, size_t len)`
`125`	`127`	`{`
	`128`	`+#ifndef CONFIG_BUILD_KERNEL`
`126`	`129`	`up_invalidate_icache((uintptr_t)start, (uintptr_t)start + len);`
	`130`	`+#endif`
`127`	`131`	`}`
`128`	`132`
`129`	`133`	`#if (WASM_MEM_DUAL_BUS_MIRROR != 0)`