Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision b366a6f4b86cb7fe82fcf415965c5a7de1a59638)
+++ kernel/generic/include/ddi/ddi.h	(revision 4bb7ffef3e23c7aa82199ac6ba9838b10a2ceea7)
@@ -36,6 +36,6 @@
 #define KERN_DDI_H_
 
-#include <ddi/ddi_arg.h>
 #include <typedefs.h>
+#include <abi/ddi/arg.h>
 #include <proc/task.h>
 #include <adt/list.h>