Searched refs:_rw_wunlock_cookie (Results 1 – 2 of 2) sorted by relevance
136 void _rw_wunlock_cookie(volatile uintptr_t *c, const char *file, int line);174 _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