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