witness_releaseok
witness_releaseok(&(lock)->lock_object)
void witness_releaseok(struct lock_object *);