diff --git a/include/microkernel/entries.h b/include/microkernel/entries.h
index 53c57a9de88..17bb727aedf 100644
--- a/include/microkernel/entries.h
+++ b/include/microkernel/entries.h
@@ -51,7 +51,7 @@ extern void K_signalm(struct k_args *);
 extern void K_resets(struct k_args *);
 extern void K_resetm(struct k_args *);
 extern void K_waitsreq(struct k_args *);
-extern void K_waitsrpl(struct k_args *);
+extern void _k_sem_wait_reply(struct k_args *);
 extern void K_waitmany(struct k_args *);
 extern void K_waitmreq(struct k_args *);
 extern void _k_sem_group_ready(struct k_args *);
diff --git a/kernel/microkernel/include/ksema.h b/kernel/microkernel/include/ksema.h
index e2984d11771..105fbe6051a 100644
--- a/kernel/microkernel/include/ksema.h
+++ b/kernel/microkernel/include/ksema.h
@@ -37,7 +37,7 @@ extern void K_signals(struct k_args *A);
 extern void K_resets(struct k_args *A);
 extern void K_signalm(struct k_args *A);
 extern void K_resetm(struct k_args *A);
-extern void K_waitsrpl(struct k_args *A);
+extern void _k_sem_wait_reply(struct k_args *A);
 extern void K_waitsreq(struct k_args *A);
 extern void K_inqsema(struct k_args *A);
 extern void K_waitmany(struct k_args *A);
diff --git a/kernel/microkernel/k_sema.c b/kernel/microkernel/k_sema.c
index a1e7896aad9..64f2d6fdda6 100644
--- a/kernel/microkernel/k_sema.c
+++ b/kernel/microkernel/k_sema.c
@@ -275,12 +275,12 @@ void _k_sem_group_ready(struct k_args *R)
 
 /*******************************************************************************
 *
-* K_waitsrpl - reply to a semaphore wait request
+* _k_sem_wait_reply - reply to a semaphore wait request
 *
 * RETURNS: N/A
 */
 
-void K_waitsrpl(struct k_args *A)
+void _k_sem_wait_reply(struct k_args *A)
 {
 	if (A->Time.timer)
 		FREETIMER(A->Time.timer);
diff --git a/scripts/sysgen.py b/scripts/sysgen.py
index b0ee680d30b..9f515421f75 100755
--- a/scripts/sysgen.py
+++ b/scripts/sysgen.py
@@ -765,8 +765,8 @@ def kernel_main_c_kernel_services():
 "/*  8 */ K_resets,",               # depends on semaphores
 "/*  9 */ K_resetm,",               # depends on semaphores
 "/* 10 */ K_waitsreq,",             # depends on semaphores
-"/* 11 */ K_waitsrpl,",             # depends on semaphores
-"/* 12 */ K_waitsrpl,",             # depends on semaphores and timers
+"/* 11 */ _k_sem_wait_reply,",             # depends on semaphores
+"/* 12 */ _k_sem_wait_reply,",             # depends on semaphores and timers
 "/* 13 */ K_waitmany,",             # depends on semaphores
 "/* 14 */ K_waitmreq,",             # depends on semaphores
 "/* 15 */ _k_sem_group_ready,",                # depends on semaphores