Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 5071f8a8d049c5ec42cf8d3640c718d3cf19c5a6)
+++ kernel/generic/src/mm/as.c	(revision 8a18d5b12d97994512eb8cf90665e94bad8df103)
@@ -81,4 +81,5 @@
 #include <arch/interrupt.h>
 #include <interrupt.h>
+#include <stdlib.h>
 
 /**
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision 5071f8a8d049c5ec42cf8d3640c718d3cf19c5a6)
+++ kernel/generic/src/mm/backend_phys.c	(revision 8a18d5b12d97994512eb8cf90665e94bad8df103)
@@ -42,5 +42,5 @@
 #include <mm/page.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <macros.h>
 #include <arch.h>
Index: kernel/generic/src/mm/slab.c
===================================================================
--- kernel/generic/src/mm/slab.c	(revision 5071f8a8d049c5ec42cf8d3640c718d3cf19c5a6)
+++ kernel/generic/src/mm/slab.c	(revision 8a18d5b12d97994512eb8cf90665e94bad8df103)
@@ -116,4 +116,5 @@
 #include <macros.h>
 #include <cpu.h>
+#include <stdlib.h>
 
 IRQ_SPINLOCK_STATIC_INITIALIZE(slab_cache_lock);