diff --git a/include/microkernel/entries.h b/include/microkernel/entries.h
index 831c6d5ba4..1749bf15ed 100644
--- a/include/microkernel/entries.h
+++ b/include/microkernel/entries.h
@@ -65,7 +65,7 @@ extern void _k_mutex_lock_reply(struct k_args *);
 extern void K_unlock(struct k_args *);
 extern void _k_fifo_enque_request(struct k_args *);
 extern void _k_fifo_enque_reply(struct k_args *);
-extern void K_deqreq(struct k_args *);
+extern void _k_fifo_deque_request(struct k_args *);
 extern void _k_fifo_deque_reply(struct k_args *);
 extern void K_queue(struct k_args *);
 extern void _k_mbox_send_request(struct k_args *);
diff --git a/kernel/microkernel/include/kfifo.h b/kernel/microkernel/include/kfifo.h
index 51450e7d06..b18432fff7 100644
--- a/kernel/microkernel/include/kfifo.h
+++ b/kernel/microkernel/include/kfifo.h
@@ -36,7 +36,7 @@
 extern void _k_fifo_enque_reply(struct k_args *A);
 extern void _k_fifo_deque_reply(struct k_args *A);
 extern void _k_fifo_enque_request(struct k_args *A);
-extern void K_deqreq(struct k_args *A);
+extern void _k_fifo_deque_request(struct k_args *A);
 extern void K_queue(struct k_args *A);
 
 #endif
diff --git a/kernel/microkernel/k_queue.c b/kernel/microkernel/k_queue.c
index cd11209ea3..6b6e06930e 100644
--- a/kernel/microkernel/k_queue.c
+++ b/kernel/microkernel/k_queue.c
@@ -180,12 +180,12 @@ void _k_fifo_deque_reply(struct k_args *A)
 
 /*******************************************************************************
 *
-* K_deqreq - perform FIFO dequeue request
+* _k_fifo_deque_request - perform FIFO dequeue request
 *
 * RETURNS: N/A
 */
 
-void K_deqreq(struct k_args *A)
+void _k_fifo_deque_request(struct k_args *A)
 {
 	struct k_args *W;
 	struct que_struct *Q;
diff --git a/scripts/sysgen.py b/scripts/sysgen.py
index 07c971fba3..3f4fec1419 100755
--- a/scripts/sysgen.py
+++ b/scripts/sysgen.py
@@ -782,7 +782,7 @@ def kernel_main_c_kernel_services():
 "/* 25 */ _k_fifo_enque_request,",       # depends on FIFOs
 "/* 26 */ _k_fifo_enque_reply,",         # depends on FIFOs
 "/* 27 */ _k_fifo_enque_reply,",         # depends on FIFOs and timers
-"/* 28 */ K_deqreq,",               # depends on FIFOs
+"/* 28 */ _k_fifo_deque_request,",               # depends on FIFOs
 "/* 29 */ _k_fifo_deque_reply,",               # depends on FIFOs
 "/* 30 */ _k_fifo_deque_reply,",               # depends on FIFOs and timers
 "/* 31 */ K_queue,",                # depends on FIFOs