| 500 | } |
| 501 | |
| 502 | void |
| 503 | lockdestroy(struct lock *lk) |
| 504 | { |
| 505 | |
| 506 | KASSERT(lk->lk_lock == LK_UNLOCKED, ("lockmgr still held")); |
| 507 | KASSERT(lk->lk_recurse == 0, ("lockmgr still recursed")); |
| 508 | KASSERT(lk->lk_exslpfail == 0, ("lockmgr still exclusive waiters")); |
| 509 | lock_destroy(&lk->lock_object); |
| 510 | } |
| 511 | |
| 512 | static bool __always_inline |
| 513 | lockmgr_slock_try(struct lock *lk, uintptr_t *xp, int flags, bool fp) |
no test coverage detected