--- a/src/mmio.h	Tue Jan 01 05:08:38 2008 +0000
+++ b/src/mmio.h	Mon May 26 10:42:18 2008 +0000
@@ -65,7 +65,7 @@
 void register_io_regions( struct mmio_region **mmiolist );
 
 extern struct mmio_region *io_rgn[];
-extern uintptr_t num_io_rgns;
+extern uint32_t num_io_rgns;
 
 #define MMIO_READ( id, r ) *((int32_t *)(mmio_region_##id.mem + (r)))
 #define MMIO_READF( id, r ) *((float *)(mmio_region_##id.mem + (r)))