Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 85be731b3ee5f4d8ffd8dad6b7647896f3e0251e)
+++ uspace/lib/c/include/ddi.h	(revision 9319b7d0ca4af622067b3b87f26c170075e3b39b)
@@ -66,5 +66,5 @@
 extern errno_t pio_enable_range(addr_range_t *, void **);
 extern errno_t pio_enable_resource(pio_window_t *, hw_resource_t *, void **,
-    size_t *);
+    uintptr_t *, size_t *);
 extern errno_t pio_enable(void *, size_t, void **);
 extern errno_t pio_disable(void *, size_t);