Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 85be731b3ee5f4d8ffd8dad6b7647896f3e0251e)
+++ uspace/lib/c/include/ddi.h	(revision 4810acfa30c0ba5b1f5d6a232f7ab983b3c957ea)
@@ -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);