Index: uspace/lib/libc/arch/ia64/include/ddi.h
===================================================================
--- uspace/lib/libc/arch/ia64/include/ddi.h	(revision 6eb2e961efe503c8ba03227ff58363688d61d27a)
+++ uspace/lib/libc/arch/ia64/include/ddi.h	(revision a1d89adda9a437fbce84276519b5bcb94321f87d)
@@ -54,5 +54,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint8_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport8_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -64,5 +64,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint16_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport16_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -74,5 +74,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint32_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport32_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -86,5 +86,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint8_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport8_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }
@@ -96,5 +96,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint16_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport16_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }
@@ -106,5 +106,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint32_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport32_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }