diff -r 01c0d5a14e11 extras/mini-os/arch/ia64/iorw.c
--- a/extras/mini-os/arch/ia64/iorw.c	Mon Mar 14 12:51:22 2011 -0400
+++ b/extras/mini-os/arch/ia64/iorw.c	Mon Mar 14 13:07:14 2011 -0400
@@ -1,21 +1,21 @@
 #include <mini-os/iorw.h>
 #include <mini-os/console.h>
 
-void iowrite8(void* addr, uint8_t val)
+void iowrite8(volatile void* addr, uint8_t val)
 {
    printk("iorw not implemented!!\n");
 }
-void iowrite32(void* addr, uint32_t val)
+void iowrite32(volatile void* addr, uint32_t val)
 {
    printk("iorw not implemented!!\n");
 }
 
-uint8_t ioread8(void* addr)
+uint8_t ioread8(volatile void* addr)
 {
    printk("iorw not implemented!!\n");
    return 0;
 }
-uint32_t ioread32(void* addr)
+uint32_t ioread32(volatile void* addr)
 {
    printk("iorw not implemented!!\n");
    return 0;
diff -r 01c0d5a14e11 extras/mini-os/arch/x86/iorw.c
--- a/extras/mini-os/arch/x86/iorw.c	Mon Mar 14 12:51:22 2011 -0400
+++ b/extras/mini-os/arch/x86/iorw.c	Mon Mar 14 13:07:14 2011 -0400
@@ -1,20 +1,20 @@
 #include <mini-os/iorw.h>
 
-void iowrite8(void* addr, uint8_t val)
+void iowrite8(volatile void* addr, uint8_t val)
 {
-   *((uint8_t*)addr) = val;
+   *((volatile uint8_t*)addr) = val;
 }
-void iowrite32(void* addr, uint32_t val)
+void iowrite32(volatile void* addr, uint32_t val)
 {
-   *((uint32_t*)addr) = val;
+   *((volatile uint32_t*)addr) = val;
 }
 
-uint8_t ioread8(void* addr)
+uint8_t ioread8(volatile void* addr)
 {
-   return *((uint8_t*) addr);
+   return *((volatile uint8_t*) addr);
 }
-uint32_t ioread32(void* addr)
+uint32_t ioread32(volatile void* addr)
 {
-   return *((uint32_t*) addr);
+   return *((volatile uint32_t*) addr);
 }
 
diff -r 01c0d5a14e11 extras/mini-os/include/iorw.h
--- a/extras/mini-os/include/iorw.h	Mon Mar 14 12:51:22 2011 -0400
+++ b/extras/mini-os/include/iorw.h	Mon Mar 14 13:07:14 2011 -0400
@@ -3,10 +3,10 @@
 
 #include <mini-os/types.h>
 
-void iowrite8(void* addr, uint8_t val);
-void iowrite32(void* addr, uint32_t val);
+void iowrite8(volatile void* addr, uint8_t val);
+void iowrite32(volatile void* addr, uint32_t val);
 
-uint8_t ioread8(void* addr);
-uint32_t ioread32(void* addr);
+uint8_t ioread8(volatile void* addr);
+uint32_t ioread32(volatile void* addr);
 
 #endif