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