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 a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -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 *);