static void qvirtio_pci_virtqueue_kick(QVirtioDevice *d, QVirtQueue *vq)

{

    QVirtioPCIDevice *dev = (QVirtioPCIDevice *)d;

    qpci_io_writew(dev->pdev, dev->addr + VIRTIO_PCI_QUEUE_NOTIFY, vq->index);

}

static void qvirtio_pci_virtqueue_kick(QVirtioDevice *d, QVirtQueue *vq)

{

    QVirtioPCIDevice *dev = (QVirtioPCIDevice *)d;

    qpci_io_writew(dev->pdev, dev->addr + VIRTIO_PCI_QUEUE_NOTIFY, vq->index);

}

    qpci_io_writew(dev->pdev, dev->addr + VIRTIO_PCI_QUEUE_NOTIFY, vq->index);
static void FUNC_0(QVirtioDevice *VAR_0, QVirtQueue *VAR_1)

{

    QVirtioPCIDevice *dev = (QVirtioPCIDevice *)VAR_0;

    qpci_io_writew(dev->pdev, dev->addr + VIRTIO_PCI_QUEUE_NOTIFY, VAR_1->index);

}

static void FUNC_0(QVirtioDevice *VAR_0, QVirtQueue *VAR_1)
{ QVirtioPCIDevice *dev = (QVirtioPCIDevice *)VAR_0; qpci_io_writew(dev->pdev, dev->addr + VIRTIO_PCI_QUEUE_NOTIFY, VAR_1->index); }