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