DEV_EVENT_INTERRUPT
dev_fsm_event(cdev, DEV_EVENT_INTERRUPT);
if (dev_event == DEV_EVENT_INTERRUPT) {
[DEV_EVENT_INTERRUPT] = ccw_device_disabled_irq,
[DEV_EVENT_INTERRUPT] = ccw_device_request_event,
[DEV_EVENT_INTERRUPT] = ccw_device_disabled_irq,
[DEV_EVENT_INTERRUPT] = ccw_device_request_event,
[DEV_EVENT_INTERRUPT] = ccw_device_irq,
[DEV_EVENT_INTERRUPT] = ccw_device_w4sense,
[DEV_EVENT_INTERRUPT] = ccw_device_request_event,
[DEV_EVENT_INTERRUPT] = ccw_device_nop,
[DEV_EVENT_INTERRUPT] = ccw_device_killing_irq,
[DEV_EVENT_INTERRUPT] = ccw_device_quiesce_done,
[DEV_EVENT_INTERRUPT] = ccw_device_start_id,
[DEV_EVENT_INTERRUPT] = ccw_device_request_event,
[DEV_EVENT_INTERRUPT] = ccw_device_change_cmfstate,
[DEV_EVENT_INTERRUPT] = ccw_device_update_cmfblock,
[DEV_EVENT_INTERRUPT] = ccw_device_request_event,
case DEV_EVENT_INTERRUPT: