Symbol: witness_norelease
sys/sys/lock.h
244
void witness_norelease(struct lock_object *);
sys/sys/lock.h
300
witness_norelease(&(lock)->lock_object)