VFIO_CCW_EVENT_IO_REQ
[VFIO_CCW_EVENT_IO_REQ] = fsm_io_error,
[VFIO_CCW_EVENT_IO_REQ] = fsm_io_error,
[VFIO_CCW_EVENT_IO_REQ] = fsm_io_request,
[VFIO_CCW_EVENT_IO_REQ] = fsm_io_retry,
[VFIO_CCW_EVENT_IO_REQ] = fsm_io_busy,
vfio_ccw_fsm_event(private, VFIO_CCW_EVENT_IO_REQ);