Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/time/timeout.h	(revision 9fa14d8ddc43d5a2acc6637cb66265ecd07540e8)
@@ -40,5 +40,5 @@
 #include <stdint.h>
 
-typedef void (* timeout_handler_t)(void *arg);
+typedef void (*timeout_handler_t)(void *arg);
 
 typedef struct {