VFIO_CCW_STATE_NOT_OPER
private->state = VFIO_CCW_STATE_NOT_OPER;
[VFIO_CCW_STATE_NOT_OPER] = {
if (private->state == VFIO_CCW_STATE_NOT_OPER)
if (private->state == VFIO_CCW_STATE_NOT_OPER) {
if (private->state == VFIO_CCW_STATE_NOT_OPER)