Symbol: _rw_wunlock_cookie
sys/sys/rwlock.h
136
void _rw_wunlock_cookie(volatile uintptr_t *c, const char *file, int line);
sys/sys/rwlock.h
174
_rw_wunlock_cookie(&(rw)->rw_lock, f, l)