Index: kernel/genarch/include/genarch/ofw/ofw_tree.h
===================================================================
--- kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision b7fd2a02e4161f4edd38548e7f8456b8021549be)
+++ kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision a912afff2183b03ff0125b2f2bfcbf5235fc78c7)
@@ -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 *);