Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision d43d2f705946ff05da350bbb3b6648898cae3600)
+++ generic/src/cpu/cpu.c	(revision c43fa55776e570818cc110af5b944e2bc0d14546)
@@ -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);
 			}