WGS_STATE_ESTABLISHED
WGS_STATE_ESTABLISHED))
KASSERT(wgs->wgs_state != WGS_STATE_ESTABLISHED);
case WGS_STATE_ESTABLISHED: /* can't happen */
case WGS_STATE_ESTABLISHED: /* can't happen */
KASSERTMSG(wgs->wgs_state == WGS_STATE_ESTABLISHED, "state=%d",
KASSERTMSG((wgs_prev->wgs_state == WGS_STATE_ESTABLISHED ||
if (wgs_prev->wgs_state == WGS_STATE_ESTABLISHED) {
atomic_store_release(&wgs->wgs_state, WGS_STATE_ESTABLISHED);
case WGS_STATE_ESTABLISHED:
if (wgs->wgs_state == WGS_STATE_ESTABLISHED &&
atomic_store_relaxed(&wgs->wgs_state, WGS_STATE_ESTABLISHED);
if (wgs->wgs_state != WGS_STATE_ESTABLISHED)
KASSERT(wgs->wgs_state != WGS_STATE_ESTABLISHED);
if (wgs->wgs_state == WGS_STATE_ESTABLISHED &&