VFIO_CCW_EVENT_CLOSE
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_CLOSE);
[VFIO_CCW_EVENT_CLOSE] = fsm_nop,
[VFIO_CCW_EVENT_CLOSE] = fsm_notoper,
[VFIO_CCW_EVENT_CLOSE] = fsm_close,
[VFIO_CCW_EVENT_CLOSE] = fsm_close,
[VFIO_CCW_EVENT_CLOSE] = fsm_close,
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_CLOSE);
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_CLOSE);