static void virtio_pci_vector_mask(PCIDevice *dev, unsigned vector)

{

    VirtIOPCIProxy *proxy = container_of(dev, VirtIOPCIProxy, pci_dev);

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

    VirtQueue *vq = virtio_vector_first_queue(vdev, vector);

    int index;



    while (vq) {

        index = virtio_get_queue_index(vq);

        if (!virtio_queue_get_num(vdev, index)) {

            break;

        }

        virtio_pci_vq_vector_mask(proxy, index, vector);

        vq = virtio_vector_next_queue(vq);

    }

}

static void virtio_pci_vector_mask(PCIDevice *dev, unsigned vector)

{

    VirtIOPCIProxy *proxy = container_of(dev, VirtIOPCIProxy, pci_dev);

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

    VirtQueue *vq = virtio_vector_first_queue(vdev, vector);

    int index;



    while (vq) {

        index = virtio_get_queue_index(vq);

        if (!virtio_queue_get_num(vdev, index)) {

            break;

        }

        virtio_pci_vq_vector_mask(proxy, index, vector);

        vq = virtio_vector_next_queue(vq);

    }

}

static void FUNC_0(PCIDevice *VAR_0, unsigned VAR_1)

{

    VirtIOPCIProxy *proxy = container_of(VAR_0, VirtIOPCIProxy, pci_dev);

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

    VirtQueue *vq = virtio_vector_first_queue(vdev, VAR_1);

    int VAR_2;



    while (vq) {

        VAR_2 = virtio_get_queue_index(vq);

        if (!virtio_queue_get_num(vdev, VAR_2)) {

            break;

        }

        virtio_pci_vq_vector_mask(proxy, VAR_2, VAR_1);

        vq = virtio_vector_next_queue(vq);

    }

}

static void FUNC_0(PCIDevice *VAR_0, unsigned VAR_1)
{ VirtIOPCIProxy *proxy = container_of(VAR_0, VirtIOPCIProxy, pci_dev); VirtIODevice *vdev = virtio_bus_get_device(&proxy->bus); VirtQueue *vq = virtio_vector_first_queue(vdev, VAR_1); int VAR_2; while (vq) { VAR_2 = virtio_get_queue_index(vq); if (!virtio_queue_get_num(vdev, VAR_2)) { break; } virtio_pci_vq_vector_mask(proxy, VAR_2, VAR_1); vq = virtio_vector_next_queue(vq); } }