Index: kernel/genarch/include/genarch/ofw/ofw_tree.h
===================================================================
--- kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision 1ab3c4b698c08d84c77675ba474ca8dfd5164dbc)
@@ -65,5 +65,5 @@
 
 /* Walker for visiting OpenFirmware device tree nodes. */
-typedef bool (* ofw_tree_walker_t)(ofw_tree_node_t *, void *);
+typedef bool (*ofw_tree_walker_t)(ofw_tree_node_t *, void *);
 
 extern void ofw_tree_init(ofw_tree_node_t *);