Index: generic/include/time/timeout.h
===================================================================
--- generic/include/time/timeout.h	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/include/time/timeout.h	(revision 07bd114e358b12ea7dd76453301cc9cee94beb2d)
@@ -40,5 +40,5 @@
 
 struct timeout {
-	spinlock_t lock;
+	SPINLOCK_DECLARE(lock);
 
 	link_t link;			/**< Link to the list of active timeouts on THE->cpu */