@@ -209,7 +209,6 @@ void lock_release(struct lock * lock)
KASSERT(lock_do_i_hold(lock));
spinlock_acquire(&(lock->spin));
- KASSERT(curthread == lock->owner);
lock->owner = NULL;
wchan_wakeone(lock->wc);
spinlock_release(&(lock->spin));