Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision d43d2f705946ff05da350bbb3b6648898cae3600)
+++ generic/src/cpu/cpu.c	(revision 7dd25618029b6d98c0ca074a1d14e41065c8ac45)
@@ -67,4 +67,6 @@
 			cpus[i].id = i;
 			
+			spinlock_initialize(&cpus[i].lock, "cpu_t.lock");
+
 			#ifdef CONFIG_SMP
 			waitq_initialize(&cpus[i].kcpulb_wq);
@@ -72,4 +74,5 @@
 			
 			for (j = 0; j < RQ_COUNT; j++) {
+				spinlock_initialize(&cpus[i].rq[j].lock, "rq_t.lock");
 				list_initialize(&cpus[i].rq[j].rq_head);
 			}