diff --git a/include/microkernel/entries.h b/include/microkernel/entries.h
index b51b1197cfb..9432603a4b6 100644
--- a/include/microkernel/entries.h
+++ b/include/microkernel/entries.h
@@ -82,7 +82,7 @@ extern void K_wakeup(struct k_args *);
 extern void _k_task_op(struct k_args *);
 extern void _k_task_group_op(struct k_args *);
 extern void _k_task_priority_set(struct k_args *);
-extern void K_yield(struct k_args *);
+extern void _k_task_yield(struct k_args *);
 extern void K_alloc(struct k_args *);
 extern void K_dealloc(struct k_args *);
 extern void K_alloc_timer(struct k_args *);
diff --git a/kernel/microkernel/include/ktask.h b/kernel/microkernel/include/ktask.h
index bd33017e9e7..80f649cc197 100644
--- a/kernel/microkernel/include/ktask.h
+++ b/kernel/microkernel/include/ktask.h
@@ -43,6 +43,6 @@ extern void abort_task(struct k_proc *X);
 extern void _k_task_op(struct k_args *A);
 extern void _k_task_group_op(struct k_args *A);
 extern void _k_task_priority_set(struct k_args *A);
-extern void K_yield(struct k_args *A);
+extern void _k_task_yield(struct k_args *A);
 
 #endif
diff --git a/kernel/microkernel/k_task.c b/kernel/microkernel/k_task.c
index 83b01e1e781..d5781a38ae5 100644
--- a/kernel/microkernel/k_task.c
+++ b/kernel/microkernel/k_task.c
@@ -413,12 +413,12 @@ void task_priority_set(ktask_t task, /* task whose priority is to be set */
 
 /*******************************************************************************
 *
-* K_yield - handle task yield request
+* _k_task_yield - handle task yield request
 *
 * RETURNS: N/A
 */
 
-void K_yield(struct k_args *A)
+void _k_task_yield(struct k_args *A)
 {
 	struct k_tqhd *H = _k_task_priority_list + _k_current_task->Prio;
 	struct k_proc *X = _k_current_task->Forw;
diff --git a/kernel/microkernel/timer/ticker.c b/kernel/microkernel/timer/ticker.c
index dfebaee3307..65859671da2 100644
--- a/kernel/microkernel/timer/ticker.c
+++ b/kernel/microkernel/timer/ticker.c
@@ -42,7 +42,7 @@ This module implements the microkernel's tick event handler.
 #include <minik.h>
 #include <kticks.h> /* WL stuff */
 #include <drivers/system_timer.h>
-#include <ktask.h>  /* K_yield */
+#include <ktask.h>  /* _k_task_yield */
 #include <microkernel.h>
 #include <microkernel/ticks.h>
 #include <toolchain.h>
@@ -191,7 +191,7 @@ static inline void _TimeSliceUpdate(void)
 		    (++slice_count >= slice_time);
 	if (yield) {
 		slice_count = 0;
-		K_yield(NULL);
+		_k_task_yield(NULL);
 	}
 #else
 /* do nothing */
diff --git a/kernel/microkernel/timer/ticks.c b/kernel/microkernel/timer/ticks.c
index 790eb5bb74f..949e33412df 100644
--- a/kernel/microkernel/timer/ticks.c
+++ b/kernel/microkernel/timer/ticks.c
@@ -33,7 +33,7 @@
 #include <microkernel/k_struct.h>
 #include <minik.h>
 #include <kticks.h> /* WL and timeslice stuff */
-#include <ktask.h>  /* K_yield */
+#include <ktask.h>  /* _k_task_yield */
 #include <microkernel/ticks.h>
 #include <nanokernel/cpu.h>
 #include <toolchain.h>
diff --git a/scripts/sysgen.py b/scripts/sysgen.py
index 9e61aa33a87..61f47a197d5 100755
--- a/scripts/sysgen.py
+++ b/scripts/sysgen.py
@@ -800,7 +800,7 @@ def kernel_main_c_kernel_services():
 "/* 43 */ _k_task_op,",             # required
 "/* 44 */ _k_task_group_op,",       # required
 "/* 45 */ _k_task_priority_set,",            # required
-"/* 46 */ K_yield,",                # required
+"/* 46 */ _k_task_yield,",          # required
 "/* 47 */ K_alloc,",                # depends on memory maps
 "/* 48 */ K_dealloc,",              # depends on memory maps
 "/* 49 */ K_alloc_timer,",          # depends on timers