Index: uspace/lib/c/arch/abs32le/include/ddi.h
===================================================================
--- uspace/lib/c/arch/abs32le/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/abs32le/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -51,15 +51,15 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	return *port;
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	return *port;
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	return *port;
Index: uspace/lib/c/arch/arm32/include/ddi.h
===================================================================
--- uspace/lib/c/arch/arm32/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/arm32/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -52,15 +52,15 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	return *port;
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	return *port;
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	return *port;
Index: uspace/lib/c/arch/ia32/include/ddi.h
===================================================================
--- uspace/lib/c/arch/ia32/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/ia32/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -39,5 +39,5 @@
 #define IO_SPACE_BOUNDARY  ((void *) (64 * 1024))
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	if (port < (ioport8_t *) IO_SPACE_BOUNDARY) {
@@ -55,5 +55,5 @@
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	if (port < (ioport16_t *) IO_SPACE_BOUNDARY) {
@@ -71,5 +71,5 @@
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	if (port < (ioport32_t *) IO_SPACE_BOUNDARY) {
Index: uspace/lib/c/arch/ia64/include/ddi.h
===================================================================
--- uspace/lib/c/arch/ia64/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/ia64/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -95,5 +95,5 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	uint8_t v;
@@ -115,5 +115,5 @@
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	uint16_t v;
@@ -135,5 +135,5 @@
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	uint32_t v;
Index: uspace/lib/c/arch/mips32/include/ddi.h
===================================================================
--- uspace/lib/c/arch/mips32/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/mips32/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -52,15 +52,15 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	return *port;
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	return *port;
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	return *port;
Index: uspace/lib/c/arch/mips64/include/ddi.h
===================================================================
--- uspace/lib/c/arch/mips64/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/mips64/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -52,15 +52,15 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	return *port;
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	return *port;
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	return *port;
Index: uspace/lib/c/arch/ppc32/include/ddi.h
===================================================================
--- uspace/lib/c/arch/ppc32/include/ddi.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
+++ uspace/lib/c/arch/ppc32/include/ddi.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
@@ -52,15 +52,15 @@
 }
 
-static inline uint8_t arch_pio_read_8(ioport8_t *port)
+static inline uint8_t arch_pio_read_8(const ioport8_t *port)
 {
 	return *port;
 }
 
-static inline uint16_t arch_pio_read_16(ioport16_t *port)
+static inline uint16_t arch_pio_read_16(const ioport16_t *port)
 {
 	return *port;
 }
 
-static inline uint32_t arch_pio_read_32(ioport32_t *port)
+static inline uint32_t arch_pio_read_32(const ioport32_t *port)
 {
 	return *port;