Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision 19f857a3b361739b06d4f547174ae4ac1b99c651)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision fc51296af4f45da426f5626f3573adee6b0babda)
@@ -65,5 +65,5 @@
     const char *name)
 {
-	unsigned int i;
+	size_t i;
 	
 	for (i = 0; i < node->properties; i++) {
@@ -170,5 +170,5 @@
  */
 ofw_tree_node_t *ofw_tree_find_node_by_handle(ofw_tree_node_t *root,
-    uint32_t handle)
+    phandle handle)
 {
 	ofw_tree_node_t *cur;