Index: kernel/genarch/include/ofw/ofw_tree.h
===================================================================
--- kernel/genarch/include/ofw/ofw_tree.h	(revision de3db94a505b69fdd8a2d15b0eaa31f2fd7745a7)
+++ kernel/genarch/include/ofw/ofw_tree.h	(revision 71232afc0731635943c9a8f8f46a531fb0e6d276)
@@ -67,5 +67,4 @@
 
 extern void ofw_tree_init(ofw_tree_node_t *);
-extern void ofw_tree_print(void);
 extern void ofw_sysinfo_map(void);
 
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision de3db94a505b69fdd8a2d15b0eaa31f2fd7745a7)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision 71232afc0731635943c9a8f8f46a531fb0e6d276)
@@ -320,40 +320,4 @@
 }
 
-/** Print OpenFirmware device subtree rooted in a node.
- *
- * Child nodes are processed recursively and peer nodes are processed
- * iteratively in order to avoid stack overflow.
- *
- * @param node Root of the subtree.
- * @param path Current path, NULL for the very root of the entire tree.
- *
- */
-static void ofw_tree_node_print(ofw_tree_node_t *node, const char *path)
-{
-	char *cur_path = (char *) malloc(PATH_MAX_LEN, 0);
-	ofw_tree_node_t *cur;
-	
-	for (cur = node; cur; cur = cur->peer) {
-		if ((cur->parent) && (path)) {
-			snprintf(cur_path, PATH_MAX_LEN, "%s/%s", path, cur->da_name);
-			printf("%s\n", cur_path);
-		} else {
-			snprintf(cur_path, PATH_MAX_LEN, "%s", cur->da_name);
-			printf("/\n");
-		}
-		
-		if (cur->child)
-			ofw_tree_node_print(cur->child, cur_path);
-	}
-	
-	free(cur_path);
-}
-
-/** Print the structure of the OpenFirmware device tree. */
-void ofw_tree_print(void)
-{
-	ofw_tree_node_print(ofw_root, NULL);
-}
-
 /** Map OpenFirmware device subtree rooted in a node into sysinfo.
  *