void virtio_scsi_dataplane_notify(VirtIODevice *vdev, VirtIOSCSIReq *req)

{

    if (virtio_should_notify(vdev, req->vq)) {

        event_notifier_set(virtio_queue_get_guest_notifier(req->vq));

    }

}

void virtio_scsi_dataplane_notify(VirtIODevice *vdev, VirtIOSCSIReq *req)

{

    if (virtio_should_notify(vdev, req->vq)) {

        event_notifier_set(virtio_queue_get_guest_notifier(req->vq));

    }

}

void virtio_scsi_dataplane_notify(VirtIODevice *vdev, VirtIOSCSIReq *req)     if (virtio_should_notify(vdev, req->vq)) {         event_notifier_set(virtio_queue_get_guest_notifier(req->vq));
void FUNC_0(VirtIODevice *VAR_0, VirtIOSCSIReq *VAR_1)

{

    if (virtio_should_notify(VAR_0, VAR_1->vq)) {

        event_notifier_set(virtio_queue_get_guest_notifier(VAR_1->vq));

    }

}

void FUNC_0(VirtIODevice *VAR_0, VirtIOSCSIReq *VAR_1)
{ if (virtio_should_notify(VAR_0, VAR_1->vq)) { event_notifier_set(virtio_queue_get_guest_notifier(VAR_1->vq)); } }