+#ifndef IOPORT_H_
+#define IOPORT_H_
+
+#include <stdint.h>
+
+uint8_t outport8(uint16_t port, uint8_t value) ;
+uint16_t outport16(uint16_t port, uint16_t value) ;
+uint32_t outport32(uint16_t port, uint32_t value) ;
+uint8_t inport8(uint16_t port) ;
+uint16_t inport16(uint16_t port) ;
+uint32_t inport32(uint16_t port) ;
+
+/* TODO use int, uint32_t ? */
+void outport_buf8(uint64_t bufelems, uint8_t *buf, uint16_t port);
+void outport_buf16(uint64_t bufelems, uint16_t *buf, uint16_t port);
+void outport_buf32(uint64_t bufelems, uint32_t *buf, uint16_t port);
+void inport_buf8(uint64_t bufelems, uint8_t *buf, uint16_t port);
+void inport_buf16(uint64_t bufelems, uint16_t *buf, uint16_t port);
+void inport_buf32(uint64_t bufelems, uint32_t *buf, uint16_t port);
+
+#endif