RDSV3_WQ_THREAD_FLUSHING
wq->wq_state = RDSV3_WQ_THREAD_FLUSHING;
case RDSV3_WQ_THREAD_FLUSHING:
} while (wq->wq_state == RDSV3_WQ_THREAD_FLUSHING);
case RDSV3_WQ_THREAD_FLUSHING:
} while (wq->wq_state == RDSV3_WQ_THREAD_FLUSHING);