WKST_READY_TO_WAIT
if (ctx->ctx_wstate == WKST_READY_TO_WAIT)
if ((ctx->ctx_wstate == WKST_READY_TO_WAIT) ||
ctx->ctx_wstate = WKST_READY_TO_WAIT;