__unlocks
__unlocks(*__mutex);
__unlocks(*__rwlock);
__unlocks(*__spin);
__unlocks(*__mtx);
hast_activemap_flush(struct hast_resource *res) __unlocks(res->hr_amp_lock)
rw_unlock(pthread_rwlock_t *lock) __unlocks(*lock)
mtx_unlock(pthread_mutex_t *lock) __unlocks(*lock)