Searched refs:_rw_wunlock_cookie (Results 1 – 2 of 2) sorted by relevance
134 void _rw_wunlock_cookie(volatile uintptr_t *c, const char *file, int line);172 _rw_wunlock_cookie(&(rw)->rw_lock, f, l)
358 _rw_wunlock_cookie(volatile uintptr_t *c, const char *file, int line) in _rw_wunlock_cookie() function