Index: kernel/arch/ia64/include/asm.h
===================================================================
--- kernel/arch/ia64/include/asm.h	(revision 3cc6a5200ed5c174df3efad1870dab86c9c73d13)
+++ kernel/arch/ia64/include/asm.h	(revision a1d89adda9a437fbce84276519b5bcb94321f87d)
@@ -47,5 +47,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint8_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport8_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -57,5 +57,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint16_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport16_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -67,5 +67,5 @@
 	uintptr_t prt = (uintptr_t) port;
 
-	*((uint32_t *)(IA64_IOSPACE_ADDRESS +
+	*((ioport32_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12)))) = v;
 
@@ -79,5 +79,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint8_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport8_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }
@@ -89,5 +89,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint16_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport16_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }
@@ -99,5 +99,5 @@
 	asm volatile ("mf\n" ::: "memory");
 
-	return *((uint32_t *)(IA64_IOSPACE_ADDRESS +
+	return *((ioport32_t *)(IA64_IOSPACE_ADDRESS +
 	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }
Index: uspace/lib/libc/arch/ia64/include/ddi.h
===================================================================
--- uspace/lib/libc/arch/ia64/include/ddi.h	(revision 3cc6a5200ed5c174df3efad1870dab86c9c73d13)
+++ 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))));
 }