Index: uspace/lib/c/arch/abs32le/include/libarch/ddi.h
===================================================================
--- uspace/lib/c/arch/abs32le/include/libarch/ddi.h	(revision 002fd5f375765c45f5e59bbc374e1418520abddf)
+++ uspace/lib/c/arch/abs32le/include/libarch/ddi.h	(revision c631734dadf94732aebdff5d84a80b87e470fee1)
@@ -50,4 +50,9 @@
 }
 
+static inline void arch_pio_write_64(ioport64_t *port, uint64_t v)
+{
+	*port = v;
+}
+
 static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
@@ -65,3 +70,8 @@
 }
 
+static inline uint64_t arch_pio_read_64(const ioport64_t *port)
+{
+	return *port;
+}
+
 #endif