static void virtio_ccw_device_plugged(DeviceState *d)

{

    VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(d);

    SubchDev *sch = dev->sch;



    sch->id.cu_model = virtio_bus_get_vdev_id(&dev->bus);



    css_generate_sch_crws(sch->cssid, sch->ssid, sch->schid,

                          d->hotplugged, 1);

}

static void virtio_ccw_device_plugged(DeviceState *d)

{

    VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(d);

    SubchDev *sch = dev->sch;



    sch->id.cu_model = virtio_bus_get_vdev_id(&dev->bus);



    css_generate_sch_crws(sch->cssid, sch->ssid, sch->schid,

                          d->hotplugged, 1);

}

static void virtio_ccw_device_plugged(DeviceState *d)
static void FUNC_0(DeviceState *VAR_0)

{

    VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(VAR_0);

    SubchDev *sch = dev->sch;



    sch->id.cu_model = virtio_bus_get_vdev_id(&dev->bus);



    css_generate_sch_crws(sch->cssid, sch->ssid, sch->schid,

                          VAR_0->hotplugged, 1);

}

static void FUNC_0(DeviceState *VAR_0)
{ VirtioCcwDevice *dev = VIRTIO_CCW_DEVICE(VAR_0); SubchDev *sch = dev->sch; sch->id.cu_model = virtio_bus_get_vdev_id(&dev->bus); css_generate_sch_crws(sch->cssid, sch->ssid, sch->schid,
VAR_0->hotplugged, 1); }