Index: kernel/arch/ppc32/include/asm.h
===================================================================
--- kernel/arch/ppc32/include/asm.h	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
+++ kernel/arch/ppc32/include/asm.h	(revision 91825d906871fb7aacdd0e8161dca09a9de0ef6e)
@@ -150,10 +150,10 @@
 extern void userspace_asm(uintptr_t uspace_uarg, uintptr_t stack, uintptr_t entry);
 
-static inline void pio_write_8(ioport_t port, uint8_t v)
+static inline void pio_write_8(ioport8_t *port, uint8_t v)
 {
 	/* XXX */
 }
 
-static inline uint8_t pio_read_8(ioport_t port)
+static inline uint8_t pio_read_8(ioport8_t *port)
 {
 	return 0;	/* XXX */
Index: kernel/arch/ppc32/include/types.h
===================================================================
--- kernel/arch/ppc32/include/types.h	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
+++ kernel/arch/ppc32/include/types.h	(revision 91825d906871fb7aacdd0e8161dca09a9de0ef6e)
@@ -58,5 +58,7 @@
 typedef int32_t native_t;
 
-typedef uintptr_t ioport_t;
+typedef volatile uint8_t ioport8_t;
+typedef volatile uint16_t ioport16_t;
+typedef volatile uint32_t ioport32_t;
 
 typedef struct {