Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 16bfcd3dd8e60cc153482fb448ef8388600e599b)
+++ uspace/lib/c/include/ddi.h	(revision aa537a5a4e471cb463f4e25b55458fc8974897a7)
@@ -52,4 +52,5 @@
 typedef volatile uint16_t ioport16_t;
 typedef volatile uint32_t ioport32_t;
+typedef volatile uint64_t ioport64_t;
 
 extern int device_assign_devno(void);
@@ -69,9 +70,9 @@
 extern int pio_disable(void *, size_t);
 
-typedef void (*trace_fnc)(const volatile void *place, uint32_t val,
+typedef void (*trace_fnc)(const volatile void *place, uint64_t val,
     volatile void* base, size_t size, void *data, bool write);
 
 extern int pio_trace_enable(void *, size_t, trace_fnc, void *);
-extern void pio_trace_log(const volatile void *, uint32_t val, bool write);
+extern void pio_trace_log(const volatile void *, uint64_t val, bool write);
 extern void pio_trace_disable(void *);
 
@@ -79,8 +80,10 @@
 extern void pio_write_16(ioport16_t *, uint16_t);
 extern void pio_write_32(ioport32_t *, uint32_t);
+extern void pio_write_64(ioport64_t *, uint64_t);
 
 extern uint8_t pio_read_8(const ioport8_t *);
 extern uint16_t pio_read_16(const ioport16_t *);
 extern uint32_t pio_read_32(const ioport32_t *);
+extern uint64_t pio_read_64(const ioport64_t *);
 
 static inline uint8_t pio_change_8(ioport8_t *reg, uint8_t val, uint8_t mask,
@@ -111,4 +114,13 @@
 }
 
+static inline uint64_t pio_change_64(ioport64_t *reg, uint64_t val,
+    uint64_t mask, useconds_t delay)
+{
+	uint64_t v = pio_read_64(reg);
+	udelay(delay);
+	pio_write_64(reg, (v & ~mask) | val);
+	return v;
+}
+
 static inline uint8_t pio_set_8(ioport8_t *r, uint8_t v, useconds_t d)
 {
@@ -122,4 +134,8 @@
 {
 	return pio_change_32(r, v, 0, d);
+}
+static inline uint64_t pio_set_64(ioport64_t *r, uint64_t v, useconds_t d)
+{
+	return pio_change_64(r, v, 0, d);
 }
 
@@ -136,4 +152,8 @@
 	return pio_change_32(r, 0, v, d);
 }
+static inline uint64_t pio_clear_64(ioport64_t *r, uint64_t v, useconds_t d)
+{
+	return pio_change_64(r, 0, v, d);
+}
 
 #endif