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