NR_VFIO_CCW_STATES 371 drivers/s390/cio/vfio_ccw_fsm.c fsm_func_t *vfio_ccw_jumptable[NR_VFIO_CCW_STATES][NR_VFIO_CCW_EVENTS] = { NR_VFIO_CCW_STATES 133 drivers/s390/cio/vfio_ccw_private.h extern fsm_func_t *vfio_ccw_jumptable[NR_VFIO_CCW_STATES][NR_VFIO_CCW_EVENTS];