VFIO_CCW_EVENT_OPEN
[VFIO_CCW_EVENT_OPEN] = fsm_nop,
[VFIO_CCW_EVENT_OPEN] = fsm_open,
[VFIO_CCW_EVENT_OPEN] = fsm_notoper,
[VFIO_CCW_EVENT_OPEN] = fsm_notoper,
[VFIO_CCW_EVENT_OPEN] = fsm_notoper,
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_OPEN);
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_OPEN);