diff --git a/kernel/msg_q.c b/kernel/msg_q.c
index 69ad7182516..0a71959a7d1 100644
--- a/kernel/msg_q.c
+++ b/kernel/msg_q.c
@@ -20,6 +20,7 @@
 #include <misc/dlist.h>
 #include <init.h>
 #include <syscall_handler.h>
+#include <kernel_internal.h>
 
 extern struct k_msgq _k_msgq_list_start[];
 extern struct k_msgq _k_msgq_list_end[];
diff --git a/kernel/pipes.c b/kernel/pipes.c
index 919ba1fb654..0d84c85235a 100644
--- a/kernel/pipes.c
+++ b/kernel/pipes.c
@@ -20,6 +20,7 @@
 #include <init.h>
 #include <syscall_handler.h>
 #include <misc/__assert.h>
+#include <kernel_internal.h>
 
 struct k_pipe_desc {
 	unsigned char *buffer;           /* Position in src/dest buffer */
diff --git a/kernel/queue.c b/kernel/queue.c
index 3d6ff1727cb..62d06f38070 100644
--- a/kernel/queue.c
+++ b/kernel/queue.c
@@ -21,6 +21,7 @@
 #include <misc/sflist.h>
 #include <init.h>
 #include <syscall_handler.h>
+#include <kernel_internal.h>
 
 extern struct k_queue _k_queue_list_start[];
 extern struct k_queue _k_queue_list_end[];
diff --git a/kernel/stack.c b/kernel/stack.c
index 4a2269305d6..af16e5995d8 100644
--- a/kernel/stack.c
+++ b/kernel/stack.c
@@ -18,6 +18,7 @@
 #include <misc/__assert.h>
 #include <init.h>
 #include <syscall_handler.h>
+#include <kernel_internal.h>
 
 extern struct k_stack _k_stack_list_start[];
 extern struct k_stack _k_stack_list_end[];