Index: generic/include/time/timeout.h
===================================================================
--- generic/include/time/timeout.h	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/include/time/timeout.h	(revision ff12a3c546fb5433fae9768de8c16772ea628030)
@@ -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 */