Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision f429331b6108df4294a421a92f3e9aaa64d95732)
+++ kernel/generic/include/time/timeout.h	(revision 0f3fc9b4dfadc676e3337514570c32d8d8c9b162)
@@ -45,5 +45,5 @@
 typedef void (* timeout_handler_t)(void *arg);
 
-struct timeout {
+typedef struct {
 	SPINLOCK_DECLARE(lock);
 
@@ -56,5 +56,5 @@
 	
 	cpu_t *cpu;			/**< On which processor is this timeout registered. */
-};
+} timeout_t;
 
 extern void timeout_init(void);