Changes in uspace/lib/c/generic/ddi.c [c0699467:8add9ca5] in mainline

File:

• uspace/lib/c/generic/ddi.c (modified) (2 diffs)

uspace/lib/c/generic/ddi.c

@@ -31 +31 @@
  */
 /** @file
- */
+ */ 
 
-#include <sys/types.h>
-#include <abi/ddi/arg.h>
 #include <ddi.h>
 #include <libarch/ddi.h>
@@ -42 +40 @@
 #include <align.h>
 #include <libarch/config.h>
+#include <kernel/ddi/ddi_arg.h>
 
 /** Return unique device number.