Index: uspace/lib/c/arch/ia64/include/libarch/ddi.h
===================================================================
--- uspace/lib/c/arch/ia64/include/libarch/ddi.h	(revision 002fd5f375765c45f5e59bbc374e1418520abddf)
+++ uspace/lib/c/arch/ia64/include/libarch/ddi.h	(revision cecba66ea48d60cfa59865e98aeda663808e42c7)
@@ -94,4 +94,12 @@
 }
 
+static inline void arch_pio_write_64(ioport64_t *port, uint64_t v)
+{
+	*port = v;
+
+	asm volatile ("mf\n" ::: "memory");
+	asm volatile ("mf.a\n" ::: "memory");
+}
+
 static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
@@ -154,4 +162,17 @@
 }
 
+static inline uint64_t arch_pio_read_64(const ioport64_t *port)
+{
+	uint64_t v;
+
+	asm volatile ("mf\n" ::: "memory");
+
+	v = *port;
+
+	asm volatile ("mf.a\n" ::: "memory");
+
+	return v;
+}
+
 #endif