Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision 6da1013f00030b5dcedc878f40a0e6242a8d3282)
+++ kernel/arch/arm32/include/asm.h	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
@@ -47,13 +47,12 @@
 }
 
-/** No I/O port address space on ARM. */
-static inline void outb(ioport_t port, uint8_t v)
+static inline void pio_write_8(ioport_t port, uint8_t v)
 {
+	/* XXX */
 }
 
-/** No I/O port address space on ARM. */
-static inline uint8_t inb(ioport_t port)
+static inline uint8_t pio_read_8(ioport_t port)
 {
-	return 0;
+	return 0;	/* XXX */
 }