Changes in kernel/arch/ppc32/src/ddi/ddi.c [b8230b9:b3f8fb7] in mainline

File:

• kernel/arch/ppc32/src/ddi/ddi.c (modified) (2 diffs)

kernel/arch/ppc32/src/ddi/ddi.c

@@ -35 +35 @@
 #include <ddi/ddi.h>
 #include <proc/task.h>
-#include <typedefs.h>
+#include <arch/types.h>
 
 /** Enable I/O space range for task.
@@ -46 +46 @@
  *
  * @return 0 on success or an error code from errno.h.
- *
  */
 int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)