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