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