Index: uspace/lib/libc/generic/ddi.c
===================================================================
--- uspace/lib/libc/generic/ddi.c	(revision 2ac85bab627940cfdf4d6b2ef0f69d68e93f0c42)
+++ uspace/lib/libc/generic/ddi.c	(revision 3ddd90c51151665b79ed641ff50b98e13a9872cb)
@@ -128,5 +128,5 @@
 #endif
 
-	phys = ALIGN_DOWN((uintptr_t) pio_addr, PAGE_SIZE);
+	phys = (void *) ALIGN_DOWN((uintptr_t) pio_addr, PAGE_SIZE);
 	offset = pio_addr - phys;
 	pages = ALIGN_UP(offset + size, PAGE_SIZE) >> PAGE_WIDTH;