some type/declaration issues

kern/thread/synch.c

@@ -158,7 +158,7 @@ struct lock * lock_create(const char * name)
 
   lock->lk_name = kstrdup(name);
   
-  struct wchan * wc = wc_create(name);
+  struct wchan * wc = wchan_create(name);
   
   if (lock->lk_name == NULL || wc == NULL)
   {
@@ -167,7 +167,7 @@ struct lock * lock_create(const char * name)
   }
   
   lock->owner = NULL;
-  spinlock_init(&lock->spin);
+  spinlock_init(&(lock->spin));
     
   return lock;
 }
@@ -176,7 +176,7 @@ void lock_destroy(struct lock * lock)
 {
   KASSERT(lock);
   
-  spinlock_cleanup(lock->spin);
+  spinlock_cleanup(&(lock->spin));
   wchan_destroy(lock->wc);
   kfree(lock->lk_name);
   kfree(lock->owner);