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