Index: uspace/lib/c/arch/ia32/include/libarch/ddi.h
===================================================================
--- uspace/lib/c/arch/ia32/include/libarch/ddi.h	(revision 002fd5f375765c45f5e59bbc374e1418520abddf)
+++ uspace/lib/c/arch/ia32/include/libarch/ddi.h	(revision aad43a8dbfb798a7d4d09653539297bee4b5c0fc)
@@ -86,4 +86,9 @@
 }
 
+static inline uint64_t arch_pio_read_64(const ioport64_t *port)
+{
+	return (uint64_t) *port;
+}
+
 static inline void arch_pio_write_8(ioport8_t *port, uint8_t val)
 {
@@ -119,3 +124,8 @@
 }
 
+static inline void arch_pio_write_64(ioport64_t *port, uint64_t val)
+{
+	*port = val;
+}
+
 #endif