Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision b14e35f21d106227a205a0ef257dff8643000ec4)
+++ kernel/generic/include/typedefs.h	(revision 6fb30a1a9fb76291a876ee61b596d65482cc7302)
@@ -88,4 +88,5 @@
 
 typedef struct istate istate_t;
+typedef void (* function)();
 typedef void (* iroutine)(int n, istate_t *istate);