| 236 | } |
| 237 | |
| 238 | static void |
| 239 | lockmgr_note_exclusive_release(struct lock *lk, const char *file, int line) |
| 240 | { |
| 241 | |
| 242 | if (LK_HOLDER(lockmgr_read_value(lk)) != LK_KERNPROC) { |
| 243 | WITNESS_UNLOCK(&lk->lock_object, LOP_EXCLUSIVE, file, line); |
| 244 | TD_LOCKS_DEC(curthread); |
| 245 | } |
| 246 | LOCK_LOG_LOCK("XUNLOCK", &lk->lock_object, 0, lk->lk_recurse, file, |
| 247 | line); |
| 248 | } |
| 249 | |
| 250 | static __inline struct thread * |
| 251 | lockmgr_xholder(const struct lock *lk) |
no outgoing calls
no test coverage detected