omg i'm a freaking idiot

kern/thread/synch.c

@@ -170,6 +170,7 @@ struct lock * lock_create(const char * name)
   
   spinlock_init(&(lock->spin));
   lock->owner = NULL;
+  lock->wc = wc;
     
   return lock;
 }