Symbol: witness_norelease
sys/sys/witness.h
138
witness_norelease(&(lock)->lock_object)
sys/sys/witness.h
85
void witness_norelease(struct lock_object *);