void vring_disable_notification(VirtIODevice *vdev, Vring *vring)

{

    if (!(vdev->guest_features & (1 << VIRTIO_RING_F_EVENT_IDX))) {

        vring_set_used_flags(vdev, vring, VRING_USED_F_NO_NOTIFY);

    }

}

void vring_disable_notification(VirtIODevice *vdev, Vring *vring)

{

    if (!(vdev->guest_features & (1 << VIRTIO_RING_F_EVENT_IDX))) {

        vring_set_used_flags(vdev, vring, VRING_USED_F_NO_NOTIFY);

    }

}

void FUNC_0(VirtIODevice *VAR_0, Vring *VAR_1)

{

    if (!(VAR_0->guest_features & (1 << VIRTIO_RING_F_EVENT_IDX))) {

        vring_set_used_flags(VAR_0, VAR_1, VRING_USED_F_NO_NOTIFY);

    }

}

void FUNC_0(VirtIODevice *VAR_0, Vring *VAR_1)
{ if (!(VAR_0->guest_features & (1 << VIRTIO_RING_F_EVENT_IDX))) { vring_set_used_flags(VAR_0, VAR_1, VRING_USED_F_NO_NOTIFY); } }