desparately trying a reordering

kern/thread/synch.c

@@ -168,8 +168,8 @@ struct lock * lock_create(const char * name)
     return NULL;
   }
   
-  lock->owner = NULL;
   spinlock_init(&(lock->spin));
+  lock->owner = NULL;
     
   return lock;
 }