Index: uspace/lib/libc/arch/ia64/include/ddi.h
===================================================================
--- uspace/lib/libc/arch/ia64/include/ddi.h	(revision b1d3c36aca6850dfcd12418b4a6f60aa37a83487)
+++ uspace/lib/libc/arch/ia64/include/ddi.h	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
@@ -39,5 +39,5 @@
 #include <libarch/types.h>
 
-#define IO_SPACE_BOUNDARY	(64 * 1024)
+#define IO_SPACE_BOUNDARY	((void *) (64 * 1024))
 
 uint64_t get_ia64_iospace_address(void);