Changes in uspace/lib/c/generic/ddi.c [8add9ca5:c0699467] 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>
@@ -40 +42 @@
 #include <align.h>
 #include <libarch/config.h>
-#include <kernel/ddi/ddi_arg.h>
 
 /** Return unique device number.