void unlock(struct lock *l) { __coverity_exclusive_lock_release__(l); }
~lock() { __coverity_exclusive_lock_release__(this); }