Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision e32720fffe177c9b6bf6489727240c59ac6a953b)
+++ kernel/generic/src/mm/frame.c	(revision 87179ca4cc0cc8cd9da9a24f0dbac1e8e927d8e1)
@@ -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 e32720fffe177c9b6bf6489727240c59ac6a953b)
+++ kernel/generic/src/mm/km.c	(revision 87179ca4cc0cc8cd9da9a24f0dbac1e8e927d8e1)
@@ -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 e32720fffe177c9b6bf6489727240c59ac6a953b)
+++ kernel/generic/src/mm/slab.c	(revision 87179ca4cc0cc8cd9da9a24f0dbac1e8e927d8e1)
@@ -114,4 +114,5 @@
 #include <bitops.h>
 #include <macros.h>
+#include <cpu.h>
 
 IRQ_SPINLOCK_STATIC_INITIALIZE(slab_cache_lock);