static void virtio_ccw_post_plugged(DeviceState *d, Error **errp)

{

   VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(d);

   VirtIODevice *vdev = virtio_bus_get_device(&dev->bus);



   if (!virtio_host_has_feature(vdev, VIRTIO_F_VERSION_1)) {

        /* A backend didn't support modern virtio. */

       dev->max_rev = 0;

   }

}

static void virtio_ccw_post_plugged(DeviceState *d, Error **errp)

{

   VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(d);

   VirtIODevice *vdev = virtio_bus_get_device(&dev->bus);



   if (!virtio_host_has_feature(vdev, VIRTIO_F_VERSION_1)) {

        

       dev->max_rev = 0;

   }

}

static void FUNC_0(DeviceState *VAR_0, Error **VAR_1)

{

   VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(VAR_0);

   VirtIODevice *vdev = virtio_bus_get_device(&dev->bus);



   if (!virtio_host_has_feature(vdev, VIRTIO_F_VERSION_1)) {

        

       dev->max_rev = 0;

   }

}

static void FUNC_0(DeviceState *VAR_0, Error **VAR_1)
{ VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(VAR_0); VirtIODevice *vdev = virtio_bus_get_device(&dev->bus); if (!virtio_host_has_feature(vdev, VIRTIO_F_VERSION_1)) { dev->max_rev = 0; } }