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