void virtio_queue_notify(VirtIODevice *vdev, int n)

{

    if (n < VIRTIO_PCI_QUEUE_MAX) {

        virtio_queue_notify_vq(&vdev->vq[n]);

    }

}

void virtio_queue_notify(VirtIODevice *vdev, int n)

{

    if (n < VIRTIO_PCI_QUEUE_MAX) {

        virtio_queue_notify_vq(&vdev->vq[n]);

    }

}

    if (n < VIRTIO_PCI_QUEUE_MAX) {         virtio_queue_notify_vq(&vdev->vq[n]);
void FUNC_0(VirtIODevice *VAR_0, int VAR_1)

{

    if (VAR_1 < VIRTIO_PCI_QUEUE_MAX) {

        virtio_queue_notify_vq(&VAR_0->vq[VAR_1]);

    }

}

void FUNC_0(VirtIODevice *VAR_0, int VAR_1)
{ if (VAR_1 < VIRTIO_PCI_QUEUE_MAX) { virtio_queue_notify_vq(&VAR_0->vq[VAR_1]); } }