1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0 2bbe37e4cSDong Jia Shi /* 3bbe37e4cSDong Jia Shi * Finite state machine for vfio-ccw device handling 4bbe37e4cSDong Jia Shi * 5bbe37e4cSDong Jia Shi * Copyright IBM Corp. 2017 6d5afd5d1SCornelia Huck * Copyright Red Hat, Inc. 2019 7bbe37e4cSDong Jia Shi * 8bbe37e4cSDong Jia Shi * Author(s): Dong Jia Shi <bjsdjshi@linux.vnet.ibm.com> 9d5afd5d1SCornelia Huck * Cornelia Huck <cohuck@redhat.com> 10bbe37e4cSDong Jia Shi */ 11bbe37e4cSDong Jia Shi 12bbe37e4cSDong Jia Shi #include <linux/vfio.h> 13bbe37e4cSDong Jia Shi 14bbe37e4cSDong Jia Shi #include "ioasm.h" 15bbe37e4cSDong Jia Shi #include "vfio_ccw_private.h" 16bbe37e4cSDong Jia Shi 17bbe37e4cSDong Jia Shi static int fsm_io_helper(struct vfio_ccw_private *private) 18bbe37e4cSDong Jia Shi { 19bbe37e4cSDong Jia Shi struct subchannel *sch; 20bbe37e4cSDong Jia Shi union orb *orb; 21bbe37e4cSDong Jia Shi int ccode; 22bbe37e4cSDong Jia Shi __u8 lpm; 23bbe37e4cSDong Jia Shi unsigned long flags; 243368e547SCornelia Huck int ret; 25bbe37e4cSDong Jia Shi 26bbe37e4cSDong Jia Shi sch = private->sch; 27bbe37e4cSDong Jia Shi 28bbe37e4cSDong Jia Shi spin_lock_irqsave(sch->lock, flags); 29bbe37e4cSDong Jia Shi 30bbe37e4cSDong Jia Shi orb = cp_get_orb(&private->cp, (u32)(addr_t)sch, sch->lpm); 3171189f26SCornelia Huck if (!orb) { 3271189f26SCornelia Huck ret = -EIO; 3371189f26SCornelia Huck goto out; 3471189f26SCornelia Huck } 35bbe37e4cSDong Jia Shi 3660e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(5, "stIO"); 3760e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(5, dev_name(&sch->dev)); 3860e05d1cSCornelia Huck 39bbe37e4cSDong Jia Shi /* Issue "Start Subchannel" */ 40bbe37e4cSDong Jia Shi ccode = ssch(sch->schid, orb); 41bbe37e4cSDong Jia Shi 4260e05d1cSCornelia Huck VFIO_CCW_HEX_EVENT(5, &ccode, sizeof(ccode)); 4360e05d1cSCornelia Huck 44bbe37e4cSDong Jia Shi switch (ccode) { 45bbe37e4cSDong Jia Shi case 0: 46bbe37e4cSDong Jia Shi /* 47bbe37e4cSDong Jia Shi * Initialize device status information 48bbe37e4cSDong Jia Shi */ 49bbe37e4cSDong Jia Shi sch->schib.scsw.cmd.actl |= SCSW_ACTL_START_PEND; 503368e547SCornelia Huck ret = 0; 51690f6a15SCornelia Huck private->state = VFIO_CCW_STATE_CP_PENDING; 523368e547SCornelia Huck break; 53bbe37e4cSDong Jia Shi case 1: /* Status pending */ 54bbe37e4cSDong Jia Shi case 2: /* Busy */ 553368e547SCornelia Huck ret = -EBUSY; 563368e547SCornelia Huck break; 57bbe37e4cSDong Jia Shi case 3: /* Device/path not operational */ 58bbe37e4cSDong Jia Shi { 59bbe37e4cSDong Jia Shi lpm = orb->cmd.lpm; 60bbe37e4cSDong Jia Shi if (lpm != 0) 61bbe37e4cSDong Jia Shi sch->lpm &= ~lpm; 62bbe37e4cSDong Jia Shi else 63bbe37e4cSDong Jia Shi sch->lpm = 0; 64bbe37e4cSDong Jia Shi 65bbe37e4cSDong Jia Shi if (cio_update_schib(sch)) 663368e547SCornelia Huck ret = -ENODEV; 673368e547SCornelia Huck else 683368e547SCornelia Huck ret = sch->lpm ? -EACCES : -ENODEV; 693368e547SCornelia Huck break; 70bbe37e4cSDong Jia Shi } 71bbe37e4cSDong Jia Shi default: 723368e547SCornelia Huck ret = ccode; 73bbe37e4cSDong Jia Shi } 7471189f26SCornelia Huck out: 753368e547SCornelia Huck spin_unlock_irqrestore(sch->lock, flags); 763368e547SCornelia Huck return ret; 77bbe37e4cSDong Jia Shi } 78bbe37e4cSDong Jia Shi 79d5afd5d1SCornelia Huck static int fsm_do_halt(struct vfio_ccw_private *private) 80d5afd5d1SCornelia Huck { 81d5afd5d1SCornelia Huck struct subchannel *sch; 82d5afd5d1SCornelia Huck unsigned long flags; 83d5afd5d1SCornelia Huck int ccode; 84d5afd5d1SCornelia Huck int ret; 85d5afd5d1SCornelia Huck 86d5afd5d1SCornelia Huck sch = private->sch; 87d5afd5d1SCornelia Huck 88d5afd5d1SCornelia Huck spin_lock_irqsave(sch->lock, flags); 89d5afd5d1SCornelia Huck 9060e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, "haltIO"); 9160e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, dev_name(&sch->dev)); 9260e05d1cSCornelia Huck 93d5afd5d1SCornelia Huck /* Issue "Halt Subchannel" */ 94d5afd5d1SCornelia Huck ccode = hsch(sch->schid); 95d5afd5d1SCornelia Huck 9660e05d1cSCornelia Huck VFIO_CCW_HEX_EVENT(2, &ccode, sizeof(ccode)); 9760e05d1cSCornelia Huck 98d5afd5d1SCornelia Huck switch (ccode) { 99d5afd5d1SCornelia Huck case 0: 100d5afd5d1SCornelia Huck /* 101d5afd5d1SCornelia Huck * Initialize device status information 102d5afd5d1SCornelia Huck */ 103d5afd5d1SCornelia Huck sch->schib.scsw.cmd.actl |= SCSW_ACTL_HALT_PEND; 104d5afd5d1SCornelia Huck ret = 0; 105d5afd5d1SCornelia Huck break; 106d5afd5d1SCornelia Huck case 1: /* Status pending */ 107d5afd5d1SCornelia Huck case 2: /* Busy */ 108d5afd5d1SCornelia Huck ret = -EBUSY; 109d5afd5d1SCornelia Huck break; 110d5afd5d1SCornelia Huck case 3: /* Device not operational */ 111d5afd5d1SCornelia Huck ret = -ENODEV; 112d5afd5d1SCornelia Huck break; 113d5afd5d1SCornelia Huck default: 114d5afd5d1SCornelia Huck ret = ccode; 115d5afd5d1SCornelia Huck } 116d5afd5d1SCornelia Huck spin_unlock_irqrestore(sch->lock, flags); 117d5afd5d1SCornelia Huck return ret; 118d5afd5d1SCornelia Huck } 119d5afd5d1SCornelia Huck 120d5afd5d1SCornelia Huck static int fsm_do_clear(struct vfio_ccw_private *private) 121d5afd5d1SCornelia Huck { 122d5afd5d1SCornelia Huck struct subchannel *sch; 123d5afd5d1SCornelia Huck unsigned long flags; 124d5afd5d1SCornelia Huck int ccode; 125d5afd5d1SCornelia Huck int ret; 126d5afd5d1SCornelia Huck 127d5afd5d1SCornelia Huck sch = private->sch; 128d5afd5d1SCornelia Huck 129d5afd5d1SCornelia Huck spin_lock_irqsave(sch->lock, flags); 130d5afd5d1SCornelia Huck 13160e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, "clearIO"); 13260e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, dev_name(&sch->dev)); 13360e05d1cSCornelia Huck 134d5afd5d1SCornelia Huck /* Issue "Clear Subchannel" */ 135d5afd5d1SCornelia Huck ccode = csch(sch->schid); 136d5afd5d1SCornelia Huck 13760e05d1cSCornelia Huck VFIO_CCW_HEX_EVENT(2, &ccode, sizeof(ccode)); 13860e05d1cSCornelia Huck 139d5afd5d1SCornelia Huck switch (ccode) { 140d5afd5d1SCornelia Huck case 0: 141d5afd5d1SCornelia Huck /* 142d5afd5d1SCornelia Huck * Initialize device status information 143d5afd5d1SCornelia Huck */ 144d5afd5d1SCornelia Huck sch->schib.scsw.cmd.actl = SCSW_ACTL_CLEAR_PEND; 145d5afd5d1SCornelia Huck /* TODO: check what else we might need to clear */ 146d5afd5d1SCornelia Huck ret = 0; 147d5afd5d1SCornelia Huck break; 148d5afd5d1SCornelia Huck case 3: /* Device not operational */ 149d5afd5d1SCornelia Huck ret = -ENODEV; 150d5afd5d1SCornelia Huck break; 151d5afd5d1SCornelia Huck default: 152d5afd5d1SCornelia Huck ret = ccode; 153d5afd5d1SCornelia Huck } 154d5afd5d1SCornelia Huck spin_unlock_irqrestore(sch->lock, flags); 155d5afd5d1SCornelia Huck return ret; 156d5afd5d1SCornelia Huck } 157d5afd5d1SCornelia Huck 158bbe37e4cSDong Jia Shi static void fsm_notoper(struct vfio_ccw_private *private, 159bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 160bbe37e4cSDong Jia Shi { 161bbe37e4cSDong Jia Shi struct subchannel *sch = private->sch; 162bbe37e4cSDong Jia Shi 16360e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, "notoper"); 16460e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(2, dev_name(&sch->dev)); 16560e05d1cSCornelia Huck 166bbe37e4cSDong Jia Shi /* 167bbe37e4cSDong Jia Shi * TODO: 168bbe37e4cSDong Jia Shi * Probably we should send the machine check to the guest. 169bbe37e4cSDong Jia Shi */ 170bbe37e4cSDong Jia Shi css_sched_sch_todo(sch, SCH_TODO_UNREG); 171bbe37e4cSDong Jia Shi private->state = VFIO_CCW_STATE_NOT_OPER; 172bbe37e4cSDong Jia Shi } 173bbe37e4cSDong Jia Shi 174bbe37e4cSDong Jia Shi /* 175bbe37e4cSDong Jia Shi * No operation action. 176bbe37e4cSDong Jia Shi */ 177bbe37e4cSDong Jia Shi static void fsm_nop(struct vfio_ccw_private *private, 178bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 179bbe37e4cSDong Jia Shi { 180bbe37e4cSDong Jia Shi } 181bbe37e4cSDong Jia Shi 182bbe37e4cSDong Jia Shi static void fsm_io_error(struct vfio_ccw_private *private, 183bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 184bbe37e4cSDong Jia Shi { 185bbe37e4cSDong Jia Shi pr_err("vfio-ccw: FSM: I/O request from state:%d\n", private->state); 186c98e16b2SEric Farman private->io_region->ret_code = -EIO; 187bbe37e4cSDong Jia Shi } 188bbe37e4cSDong Jia Shi 189bbe37e4cSDong Jia Shi static void fsm_io_busy(struct vfio_ccw_private *private, 190bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 191bbe37e4cSDong Jia Shi { 192c98e16b2SEric Farman private->io_region->ret_code = -EBUSY; 193bbe37e4cSDong Jia Shi } 194bbe37e4cSDong Jia Shi 195690f6a15SCornelia Huck static void fsm_io_retry(struct vfio_ccw_private *private, 196690f6a15SCornelia Huck enum vfio_ccw_event event) 197690f6a15SCornelia Huck { 198690f6a15SCornelia Huck private->io_region->ret_code = -EAGAIN; 199690f6a15SCornelia Huck } 200690f6a15SCornelia Huck 201d5afd5d1SCornelia Huck static void fsm_async_error(struct vfio_ccw_private *private, 202d5afd5d1SCornelia Huck enum vfio_ccw_event event) 203d5afd5d1SCornelia Huck { 204d5afd5d1SCornelia Huck struct ccw_cmd_region *cmd_region = private->cmd_region; 205d5afd5d1SCornelia Huck 206d5afd5d1SCornelia Huck pr_err("vfio-ccw: FSM: %s request from state:%d\n", 207d5afd5d1SCornelia Huck cmd_region->command == VFIO_CCW_ASYNC_CMD_HSCH ? "halt" : 208d5afd5d1SCornelia Huck cmd_region->command == VFIO_CCW_ASYNC_CMD_CSCH ? "clear" : 209d5afd5d1SCornelia Huck "<unknown>", private->state); 210d5afd5d1SCornelia Huck cmd_region->ret_code = -EIO; 211d5afd5d1SCornelia Huck } 212d5afd5d1SCornelia Huck 213d5afd5d1SCornelia Huck static void fsm_async_retry(struct vfio_ccw_private *private, 214d5afd5d1SCornelia Huck enum vfio_ccw_event event) 215d5afd5d1SCornelia Huck { 216d5afd5d1SCornelia Huck private->cmd_region->ret_code = -EAGAIN; 217d5afd5d1SCornelia Huck } 218d5afd5d1SCornelia Huck 219bbe37e4cSDong Jia Shi static void fsm_disabled_irq(struct vfio_ccw_private *private, 220bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 221bbe37e4cSDong Jia Shi { 222bbe37e4cSDong Jia Shi struct subchannel *sch = private->sch; 223bbe37e4cSDong Jia Shi 224bbe37e4cSDong Jia Shi /* 225bbe37e4cSDong Jia Shi * An interrupt in a disabled state means a previous disable was not 226bbe37e4cSDong Jia Shi * successful - should not happen, but we try to disable again. 227bbe37e4cSDong Jia Shi */ 228bbe37e4cSDong Jia Shi cio_disable_subchannel(sch); 229bbe37e4cSDong Jia Shi } 2303cd90214SHalil Pasic inline struct subchannel_id get_schid(struct vfio_ccw_private *p) 2313cd90214SHalil Pasic { 2323cd90214SHalil Pasic return p->sch->schid; 2333cd90214SHalil Pasic } 234bbe37e4cSDong Jia Shi 235bbe37e4cSDong Jia Shi /* 236bbe37e4cSDong Jia Shi * Deal with the ccw command request from the userspace. 237bbe37e4cSDong Jia Shi */ 238bbe37e4cSDong Jia Shi static void fsm_io_request(struct vfio_ccw_private *private, 239bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 240bbe37e4cSDong Jia Shi { 241bbe37e4cSDong Jia Shi union orb *orb; 242bbe37e4cSDong Jia Shi union scsw *scsw = &private->scsw; 243c98e16b2SEric Farman struct ccw_io_region *io_region = private->io_region; 2443cd90214SHalil Pasic char *errstr = "request"; 24560e05d1cSCornelia Huck struct subchannel_id schid = get_schid(private); 246bbe37e4cSDong Jia Shi 247690f6a15SCornelia Huck private->state = VFIO_CCW_STATE_CP_PROCESSING; 248bbe37e4cSDong Jia Shi memcpy(scsw, io_region->scsw_area, sizeof(*scsw)); 249bbe37e4cSDong Jia Shi 250bbe37e4cSDong Jia Shi if (scsw->cmd.fctl & SCSW_FCTL_START_FUNC) { 251bbe37e4cSDong Jia Shi orb = (union orb *)io_region->orb_area; 252bbe37e4cSDong Jia Shi 2539851bc77SCornelia Huck /* Don't try to build a cp if transport mode is specified. */ 2549851bc77SCornelia Huck if (orb->tm.b) { 2559851bc77SCornelia Huck io_region->ret_code = -EOPNOTSUPP; 25660e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 257*3566ee1dSMichael Kawano "sch %x.%x.%04x: transport mode\n", 258*3566ee1dSMichael Kawano schid.cssid, 25960e05d1cSCornelia Huck schid.ssid, schid.sch_no); 2603cd90214SHalil Pasic errstr = "transport mode"; 2619851bc77SCornelia Huck goto err_out; 2629851bc77SCornelia Huck } 2630a587956SJason Gunthorpe io_region->ret_code = cp_init(&private->cp, orb); 2643cd90214SHalil Pasic if (io_region->ret_code) { 26560e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 266*3566ee1dSMichael Kawano "sch %x.%x.%04x: cp_init=%d\n", 267*3566ee1dSMichael Kawano schid.cssid, 26860e05d1cSCornelia Huck schid.ssid, schid.sch_no, 26960e05d1cSCornelia Huck io_region->ret_code); 2703cd90214SHalil Pasic errstr = "cp init"; 271bbe37e4cSDong Jia Shi goto err_out; 2723cd90214SHalil Pasic } 273bbe37e4cSDong Jia Shi 274bbe37e4cSDong Jia Shi io_region->ret_code = cp_prefetch(&private->cp); 275bbe37e4cSDong Jia Shi if (io_region->ret_code) { 27660e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 277*3566ee1dSMichael Kawano "sch %x.%x.%04x: cp_prefetch=%d\n", 278*3566ee1dSMichael Kawano schid.cssid, 27960e05d1cSCornelia Huck schid.ssid, schid.sch_no, 28060e05d1cSCornelia Huck io_region->ret_code); 2813cd90214SHalil Pasic errstr = "cp prefetch"; 282bbe37e4cSDong Jia Shi cp_free(&private->cp); 283bbe37e4cSDong Jia Shi goto err_out; 284bbe37e4cSDong Jia Shi } 285bbe37e4cSDong Jia Shi 286bbe37e4cSDong Jia Shi /* Start channel program and wait for I/O interrupt. */ 287bbe37e4cSDong Jia Shi io_region->ret_code = fsm_io_helper(private); 288bbe37e4cSDong Jia Shi if (io_region->ret_code) { 28960e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 290*3566ee1dSMichael Kawano "sch %x.%x.%04x: fsm_io_helper=%d\n", 291*3566ee1dSMichael Kawano schid.cssid, 29260e05d1cSCornelia Huck schid.ssid, schid.sch_no, 29360e05d1cSCornelia Huck io_region->ret_code); 2943cd90214SHalil Pasic errstr = "cp fsm_io_helper"; 295bbe37e4cSDong Jia Shi cp_free(&private->cp); 296bbe37e4cSDong Jia Shi goto err_out; 297bbe37e4cSDong Jia Shi } 298bbe37e4cSDong Jia Shi return; 299bbe37e4cSDong Jia Shi } else if (scsw->cmd.fctl & SCSW_FCTL_HALT_FUNC) { 30060e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 301*3566ee1dSMichael Kawano "sch %x.%x.%04x: halt on io_region\n", 302*3566ee1dSMichael Kawano schid.cssid, 30360e05d1cSCornelia Huck schid.ssid, schid.sch_no); 304d5afd5d1SCornelia Huck /* halt is handled via the async cmd region */ 305bbe37e4cSDong Jia Shi io_region->ret_code = -EOPNOTSUPP; 306bbe37e4cSDong Jia Shi goto err_out; 307bbe37e4cSDong Jia Shi } else if (scsw->cmd.fctl & SCSW_FCTL_CLEAR_FUNC) { 30860e05d1cSCornelia Huck VFIO_CCW_MSG_EVENT(2, 309*3566ee1dSMichael Kawano "sch %x.%x.%04x: clear on io_region\n", 310*3566ee1dSMichael Kawano schid.cssid, 31160e05d1cSCornelia Huck schid.ssid, schid.sch_no); 312d5afd5d1SCornelia Huck /* clear is handled via the async cmd region */ 313bbe37e4cSDong Jia Shi io_region->ret_code = -EOPNOTSUPP; 314bbe37e4cSDong Jia Shi goto err_out; 315bbe37e4cSDong Jia Shi } 316bbe37e4cSDong Jia Shi 317bbe37e4cSDong Jia Shi err_out: 3186c02ac4cSEric Farman private->state = VFIO_CCW_STATE_IDLE; 31985298880SEric Farman trace_vfio_ccw_fsm_io_request(scsw->cmd.fctl, schid, 3203cd90214SHalil Pasic io_region->ret_code, errstr); 321bbe37e4cSDong Jia Shi } 322bbe37e4cSDong Jia Shi 323bbe37e4cSDong Jia Shi /* 324d5afd5d1SCornelia Huck * Deal with an async request from userspace. 325d5afd5d1SCornelia Huck */ 326d5afd5d1SCornelia Huck static void fsm_async_request(struct vfio_ccw_private *private, 327d5afd5d1SCornelia Huck enum vfio_ccw_event event) 328d5afd5d1SCornelia Huck { 329d5afd5d1SCornelia Huck struct ccw_cmd_region *cmd_region = private->cmd_region; 330d5afd5d1SCornelia Huck 331d5afd5d1SCornelia Huck switch (cmd_region->command) { 332d5afd5d1SCornelia Huck case VFIO_CCW_ASYNC_CMD_HSCH: 333d5afd5d1SCornelia Huck cmd_region->ret_code = fsm_do_halt(private); 334d5afd5d1SCornelia Huck break; 335d5afd5d1SCornelia Huck case VFIO_CCW_ASYNC_CMD_CSCH: 336d5afd5d1SCornelia Huck cmd_region->ret_code = fsm_do_clear(private); 337d5afd5d1SCornelia Huck break; 338d5afd5d1SCornelia Huck default: 339d5afd5d1SCornelia Huck /* should not happen? */ 340d5afd5d1SCornelia Huck cmd_region->ret_code = -EINVAL; 341d5afd5d1SCornelia Huck } 342d5950b02SEric Farman 343d5950b02SEric Farman trace_vfio_ccw_fsm_async_request(get_schid(private), 344d5950b02SEric Farman cmd_region->command, 345d5950b02SEric Farman cmd_region->ret_code); 346d5afd5d1SCornelia Huck } 347d5afd5d1SCornelia Huck 348d5afd5d1SCornelia Huck /* 349bbe37e4cSDong Jia Shi * Got an interrupt for a normal io (state busy). 350bbe37e4cSDong Jia Shi */ 351bbe37e4cSDong Jia Shi static void fsm_irq(struct vfio_ccw_private *private, 352bbe37e4cSDong Jia Shi enum vfio_ccw_event event) 353bbe37e4cSDong Jia Shi { 354c9c31b07SDong Jia Shi struct irb *irb = this_cpu_ptr(&cio_irb); 355bbe37e4cSDong Jia Shi 35660e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(6, "IRQ"); 35760e05d1cSCornelia Huck VFIO_CCW_TRACE_EVENT(6, dev_name(&private->sch->dev)); 35860e05d1cSCornelia Huck 359bbe37e4cSDong Jia Shi memcpy(&private->irb, irb, sizeof(*irb)); 360bbe37e4cSDong Jia Shi 361bbe37e4cSDong Jia Shi queue_work(vfio_ccw_work_q, &private->io_work); 362bbe37e4cSDong Jia Shi 363bbe37e4cSDong Jia Shi if (private->completion) 364bbe37e4cSDong Jia Shi complete(private->completion); 365bbe37e4cSDong Jia Shi } 366bbe37e4cSDong Jia Shi 367bbe37e4cSDong Jia Shi /* 368bbe37e4cSDong Jia Shi * Device statemachine 369bbe37e4cSDong Jia Shi */ 370bbe37e4cSDong Jia Shi fsm_func_t *vfio_ccw_jumptable[NR_VFIO_CCW_STATES][NR_VFIO_CCW_EVENTS] = { 371bbe37e4cSDong Jia Shi [VFIO_CCW_STATE_NOT_OPER] = { 372bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_NOT_OPER] = fsm_nop, 373bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_IO_REQ] = fsm_io_error, 374d5afd5d1SCornelia Huck [VFIO_CCW_EVENT_ASYNC_REQ] = fsm_async_error, 375bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_INTERRUPT] = fsm_disabled_irq, 376bbe37e4cSDong Jia Shi }, 377bbe37e4cSDong Jia Shi [VFIO_CCW_STATE_STANDBY] = { 378bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper, 379bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_IO_REQ] = fsm_io_error, 380d5afd5d1SCornelia Huck [VFIO_CCW_EVENT_ASYNC_REQ] = fsm_async_error, 381bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_INTERRUPT] = fsm_irq, 382bbe37e4cSDong Jia Shi }, 383bbe37e4cSDong Jia Shi [VFIO_CCW_STATE_IDLE] = { 384bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper, 385bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_IO_REQ] = fsm_io_request, 386d5afd5d1SCornelia Huck [VFIO_CCW_EVENT_ASYNC_REQ] = fsm_async_request, 387bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_INTERRUPT] = fsm_irq, 388bbe37e4cSDong Jia Shi }, 389690f6a15SCornelia Huck [VFIO_CCW_STATE_CP_PROCESSING] = { 390690f6a15SCornelia Huck [VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper, 391690f6a15SCornelia Huck [VFIO_CCW_EVENT_IO_REQ] = fsm_io_retry, 392d5afd5d1SCornelia Huck [VFIO_CCW_EVENT_ASYNC_REQ] = fsm_async_retry, 393690f6a15SCornelia Huck [VFIO_CCW_EVENT_INTERRUPT] = fsm_irq, 394690f6a15SCornelia Huck }, 395690f6a15SCornelia Huck [VFIO_CCW_STATE_CP_PENDING] = { 396bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_NOT_OPER] = fsm_notoper, 397bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_IO_REQ] = fsm_io_busy, 398d5afd5d1SCornelia Huck [VFIO_CCW_EVENT_ASYNC_REQ] = fsm_async_request, 399bbe37e4cSDong Jia Shi [VFIO_CCW_EVENT_INTERRUPT] = fsm_irq, 400bbe37e4cSDong Jia Shi }, 401bbe37e4cSDong Jia Shi }; 402