Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 947958124af6213f29135ea2f78f9deee4f7480e)
+++ kernel/generic/src/mm/frame.c	(revision 497bd656d30dfa5181c542cab4d9d1807cbe1bbd)
@@ -61,4 +61,5 @@
 #include <config.h>
 #include <str.h>
+#include <proc/thread.h> /* THREAD */
 
 zones_t zones;
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 947958124af6213f29135ea2f78f9deee4f7480e)
+++ kernel/generic/src/mm/km.c	(revision 497bd656d30dfa5181c542cab4d9d1807cbe1bbd)
@@ -49,4 +49,5 @@
 #include <macros.h>
 #include <bitops.h>
+#include <proc/thread.h>
 
 static ra_arena_t *km_ni_arena;
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 947958124af6213f29135ea2f78f9deee4f7480e)
+++ kernel/generic/src/mm/slab.c	(revision 497bd656d30dfa5181c542cab4d9d1807cbe1bbd)
@@ -114,4 +114,5 @@
 #include <bitops.h>
 #include <macros.h>
+#include <cpu.h>
 
 IRQ_SPINLOCK_STATIC_INITIALIZE(slab_cache_lock);