Index: generic/src/time/timeout.c
===================================================================
--- generic/src/time/timeout.c	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/src/time/timeout.c	(revision 939dfd70a7a0f73670ee999422ddeae17ecdd0f0)
@@ -48,5 +48,5 @@
 void timeout_init(void)
 {
-	spinlock_initialize(&CPU->timeoutlock);
+	spinlock_initialize(&CPU->timeoutlock, "timeout_lock");
 	list_initialize(&CPU->timeout_active_head);
 }
@@ -79,5 +79,5 @@
 void timeout_initialize(timeout_t *t)
 {
-	spinlock_initialize(&t->lock);
+	spinlock_initialize(&t->lock, "timeout_t_lock");
 	timeout_reinitialize(t);
 }