Index: kernel/genarch/src/ofw/ebus.c
===================================================================
--- kernel/genarch/src/ofw/ebus.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/genarch/src/ofw/ebus.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -50,5 +50,5 @@
 	ofw_tree_property_t *prop;
 	ofw_ebus_range_t *range;
-	count_t ranges;
+	size_t ranges;
 
 	prop = ofw_tree_getprop(node, "ranges");
@@ -92,5 +92,5 @@
 
 	ofw_ebus_intr_map_t *intr_map = prop->value;
-	count_t count = prop->size / sizeof(ofw_ebus_intr_map_t);
+	size_t count = prop->size / sizeof(ofw_ebus_intr_map_t);
 	
 	ASSERT(count);
Index: kernel/genarch/src/ofw/fhc.c
===================================================================
--- kernel/genarch/src/ofw/fhc.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/genarch/src/ofw/fhc.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -47,5 +47,5 @@
 	ofw_tree_property_t *prop;
 	ofw_fhc_range_t *range;
-	count_t ranges;
+	size_t ranges;
 
 	prop = ofw_tree_getprop(node, "ranges");
@@ -89,5 +89,5 @@
 	ofw_tree_property_t *prop;
 	ofw_central_range_t *range;
-	count_t ranges;
+	size_t ranges;
 	
 	prop = ofw_tree_getprop(node, "ranges");
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -248,5 +248,6 @@
 	char buf[NAME_BUF_LEN + 1];
 	ofw_tree_node_t *node = ofw_root;
-	index_t i, j;
+	size_t i;
+	size_t j;
 	
 	if (path[0] != '/')
Index: kernel/genarch/src/ofw/pci.c
===================================================================
--- kernel/genarch/src/ofw/pci.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/genarch/src/ofw/pci.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -55,5 +55,5 @@
 	ofw_tree_property_t *prop;
 	ofw_pci_range_t *range;
-	count_t ranges;
+	size_t ranges;
 
 	prop = ofw_tree_getprop(node, "ranges");
@@ -98,5 +98,5 @@
 	ofw_tree_property_t *prop;
 	ofw_pci_reg_t *assigned_address;
-	count_t assigned_addresses;
+	size_t assigned_addresses;
 	
 	prop = ofw_tree_getprop(node, "assigned-addresses");
Index: kernel/genarch/src/ofw/sbus.c
===================================================================
--- kernel/genarch/src/ofw/sbus.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/genarch/src/ofw/sbus.c	(revision a68f7375e3e4f83a6876853e429edc329d00e4e4)
@@ -44,5 +44,5 @@
 	ofw_tree_property_t *prop;
 	ofw_sbus_range_t *range;
-	count_t ranges;
+	size_t ranges;
 	
 	/*