static void virtio_s390_notify(void *opaque, uint16_t vector)

{

    VirtIOS390Device *dev = (VirtIOS390Device*)opaque;

    uint64_t token = s390_virtio_device_vq_token(dev, vector);



    /* XXX kvm dependency! */

    kvm_s390_virtio_irq(s390_cpu_addr2state(0), 0, token);

}

static void virtio_s390_notify(void *opaque, uint16_t vector)

{

    VirtIOS390Device *dev = (VirtIOS390Device*)opaque;

    uint64_t token = s390_virtio_device_vq_token(dev, vector);



    

    kvm_s390_virtio_irq(s390_cpu_addr2state(0), 0, token);

}

static void FUNC_0(void *VAR_0, uint16_t VAR_1)

{

    VirtIOS390Device *dev = (VirtIOS390Device*)VAR_0;

    uint64_t token = s390_virtio_device_vq_token(dev, VAR_1);



    

    kvm_s390_virtio_irq(s390_cpu_addr2state(0), 0, token);

}

static void FUNC_0(void *VAR_0, uint16_t VAR_1)
{ VirtIOS390Device *dev = (VirtIOS390Device*)VAR_0; uint64_t token = s390_virtio_device_vq_token(dev, VAR_1); kvm_s390_virtio_irq(s390_cpu_addr2state(0), 0, token); }