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