Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision 831a04d0773940f7587dff16f2f8addd800d3810)
+++ kernel/generic/include/time/timeout.h	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
@@ -45,12 +45,14 @@
 	SPINLOCK_DECLARE(lock);
 
-	link_t link;			/**< Link to the list of active timeouts on THE->cpu */
-	
-	uint64_t ticks;			/**< Timeout will be activated in this amount of clock() ticks. */
-
-	timeout_handler_t handler;	/**< Function that will be called on timeout activation. */
-	void *arg;			/**< Argument to be passed to handler() function. */
-	
-	cpu_t *cpu;			/**< On which processor is this timeout registered. */
+	/** Link to the list of active timeouts on THE->cpu */
+	link_t link;
+	/** Timeout will be activated in this amount of clock() ticks. */	
+	uint64_t ticks;
+	/** Function that will be called on timeout activation. */
+	timeout_handler_t handler;
+	/** Argument to be passed to handler() function. */
+	void *arg;
+	/** On which processor is this timeout registered. */
+	cpu_t *cpu;
 } timeout_t;
 
@@ -60,5 +62,6 @@
 extern void timeout_initialize(timeout_t *t);
 extern void timeout_reinitialize(timeout_t *t);
-extern void timeout_register(timeout_t *t, uint64_t usec, timeout_handler_t f, void *arg);
+extern void timeout_register(timeout_t *t, uint64_t usec, timeout_handler_t f,
+    void *arg);
 extern bool timeout_unregister(timeout_t *t);