Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 5c03bd305cb06f94360a0aa18b2c1a9ab52a88ef)
@@ -37,5 +37,5 @@
 #include <proc/task.h>
 #include <typedefs.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <errno.h>