Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 103db9089df98061a5560c2c731e082f1f964f94)
@@ -37,5 +37,5 @@
 #include <proc/task.h>
 #include <typedefs.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <errno.h>
 
Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 103db9089df98061a5560c2c731e082f1f964f94)
@@ -45,4 +45,5 @@
 #include <str.h>
 #include <arch.h>
+#include <stdlib.h>
 
 enum {