Index: generic/src/time/timeout.c
===================================================================
--- generic/src/time/timeout.c	(revision 169c408f8774661800aa0a9685c9914cbb5a974c)
+++ generic/src/time/timeout.c	(revision 973be64e8e922f2fbbbb92f7f7cddc8125f9e36b)
@@ -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);
 }