static void virtio_ccw_stop_ioeventfd(VirtioCcwDevice *dev)

{

    VirtIODevice *vdev;

    int n, r;



    if (!dev->ioeventfd_started) {

        return;

    }

    vdev = virtio_bus_get_device(&dev->bus);

    for (n = 0; n < VIRTIO_PCI_QUEUE_MAX; n++) {

        if (!virtio_queue_get_num(vdev, n)) {

            continue;

        }

        r = virtio_ccw_set_guest2host_notifier(dev, n, false, false);

        assert(r >= 0);

    }

    dev->ioeventfd_started = false;

}

static void virtio_ccw_stop_ioeventfd(VirtioCcwDevice *dev)

{

    VirtIODevice *vdev;

    int n, r;



    if (!dev->ioeventfd_started) {

        return;

    }

    vdev = virtio_bus_get_device(&dev->bus);

    for (n = 0; n < VIRTIO_PCI_QUEUE_MAX; n++) {

        if (!virtio_queue_get_num(vdev, n)) {

            continue;

        }

        r = virtio_ccw_set_guest2host_notifier(dev, n, false, false);

        assert(r >= 0);

    }

    dev->ioeventfd_started = false;

}

static void FUNC_0(VirtioCcwDevice *VAR_0)

{

    VirtIODevice *vdev;

    int VAR_1, VAR_2;



    if (!VAR_0->ioeventfd_started) {

        return;

    }

    vdev = virtio_bus_get_device(&VAR_0->bus);

    for (VAR_1 = 0; VAR_1 < VIRTIO_PCI_QUEUE_MAX; VAR_1++) {

        if (!virtio_queue_get_num(vdev, VAR_1)) {

            continue;

        }

        VAR_2 = virtio_ccw_set_guest2host_notifier(VAR_0, VAR_1, false, false);

        assert(VAR_2 >= 0);

    }

    VAR_0->ioeventfd_started = false;

}

static void FUNC_0(VirtioCcwDevice *VAR_0)
{ VirtIODevice *vdev; int VAR_1, VAR_2; if (!VAR_0->ioeventfd_started) { return; } vdev = virtio_bus_get_device(&VAR_0->bus); for (VAR_1 = 0; VAR_1 < VIRTIO_PCI_QUEUE_MAX; VAR_1++) { if (!virtio_queue_get_num(vdev, VAR_1)) { continue; } VAR_2 = virtio_ccw_set_guest2host_notifier(VAR_0, VAR_1, false, false); assert(VAR_2 >= 0); } VAR_0->ioeventfd_started = false; }