static int virtio_ccw_hcall_notify(const uint64_t *args)

{

    uint64_t subch_id = args[0];

    uint64_t queue = args[1];

    SubchDev *sch;

    int cssid, ssid, schid, m;



    if (ioinst_disassemble_sch_ident(subch_id, &m, &cssid, &ssid, &schid)) {

        return -EINVAL;

    }

    sch = css_find_subch(m, cssid, ssid, schid);

    if (!sch || !css_subch_visible(sch)) {

        return -EINVAL;

    }

    if (queue >= VIRTIO_PCI_QUEUE_MAX) {

        return -EINVAL;

    }

    virtio_queue_notify(virtio_ccw_get_vdev(sch), queue);

    return 0;



}

static int virtio_ccw_hcall_notify(const uint64_t *args)

{

    uint64_t subch_id = args[0];

    uint64_t queue = args[1];

    SubchDev *sch;

    int cssid, ssid, schid, m;



    if (ioinst_disassemble_sch_ident(subch_id, &m, &cssid, &ssid, &schid)) {

        return -EINVAL;

    }

    sch = css_find_subch(m, cssid, ssid, schid);

    if (!sch || !css_subch_visible(sch)) {

        return -EINVAL;

    }

    if (queue >= VIRTIO_PCI_QUEUE_MAX) {

        return -EINVAL;

    }

    virtio_queue_notify(virtio_ccw_get_vdev(sch), queue);

    return 0;



}

static int FUNC_0(const uint64_t *VAR_0)

{

    uint64_t subch_id = VAR_0[0];

    uint64_t queue = VAR_0[1];

    SubchDev *sch;

    int VAR_1, VAR_2, VAR_3, VAR_4;



    if (ioinst_disassemble_sch_ident(subch_id, &VAR_4, &VAR_1, &VAR_2, &VAR_3)) {

        return -EINVAL;

    }

    sch = css_find_subch(VAR_4, VAR_1, VAR_2, VAR_3);

    if (!sch || !css_subch_visible(sch)) {

        return -EINVAL;

    }

    if (queue >= VIRTIO_PCI_QUEUE_MAX) {

        return -EINVAL;

    }

    virtio_queue_notify(virtio_ccw_get_vdev(sch), queue);

    return 0;



}

static int FUNC_0(const uint64_t *VAR_0)
{ uint64_t subch_id = VAR_0[0]; uint64_t queue = VAR_0[1]; SubchDev *sch; int VAR_1, VAR_2, VAR_3, VAR_4; if (ioinst_disassemble_sch_ident(subch_id, &VAR_4, &VAR_1, &VAR_2, &VAR_3)) { return -EINVAL; } sch = css_find_subch(VAR_4, VAR_1, VAR_2, VAR_3); if (!sch || !css_subch_visible(sch)) { return -EINVAL; } if (queue >= VIRTIO_PCI_QUEUE_MAX) { return -EINVAL; } virtio_queue_notify(virtio_ccw_get_vdev(sch), queue); return 0; }