Index: uspace/lib/libc/arch/ia64/include/ddi.h
===================================================================
--- uspace/lib/libc/arch/ia64/include/ddi.h	(revision 1ae8f2b87521a20c6a7bb5aff5a2cc62a2f909ea)
+++ uspace/lib/libc/arch/ia64/include/ddi.h	(revision e5855f28dd1c23f1b7e0e17a809b4dfc5c291a5c)
@@ -97,5 +97,5 @@
 
 	return *((uint16_t *)(IA64_IOSPACE_ADDRESS +
-	    ((prt & 0xffE) | ((prt >> 2) << 12))));
+	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }