__rw_wunlock_hard
void __rw_wunlock_hard(volatile uintptr_t *c, uintptr_t v
__rw_wunlock_hard(&(rw)->rw_lock, v, f, l)
__rw_wunlock_hard(&(rw)->rw_lock, v)