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 ec85df023cbda2e09fb239a04dfe53f2b94df685)
@@ -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;