Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision 6da1013f00030b5dcedc878f40a0e6242a8d3282)
+++ kernel/arch/arm32/include/asm.h	(revision 2d96f4dffc66f5f4b788d135403a80c661ee1d92)
@@ -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 */
 }