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 5ee7377015fd49d728be8bfb0690d7c84add91be)
@@ -97,5 +97,5 @@
 
 	return *((uint16_t *)(IA64_IOSPACE_ADDRESS +
-	    ((prt & 0xffE) | ((prt >> 2) << 12))));
+	    ((prt & 0xfff) | ((prt >> 2) << 12))));
 }