_rw_wlock_cookie
void _rw_wlock_cookie(volatile uintptr_t *c, const char *file, int line);
_rw_wlock_cookie(&(rw)->rw_lock, f, l)