VFIO_CCW_EVENT_NOT_OPER
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_NOT_OPER);
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_NOT_OPER);
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_NOT_OPER);
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_NOT_OPER);
[VFIO_CCW_EVENT_NOT_OPER] = fsm_nop,
[VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper,
[VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper,
[VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper,
[VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper,