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