pvscsi_init_msi(PVSCSIState *s)

{

    int res;

    PCIDevice *d = PCI_DEVICE(s);



    res = msi_init(d, PVSCSI_MSI_OFFSET(s), PVSCSI_MSIX_NUM_VECTORS,

                   PVSCSI_USE_64BIT, PVSCSI_PER_VECTOR_MASK);

    if (res < 0) {

        trace_pvscsi_init_msi_fail(res);

        s->msi_used = false;

    } else {

        s->msi_used = true;

    }

}

pvscsi_init_msi(PVSCSIState *s)

{

    int res;

    PCIDevice *d = PCI_DEVICE(s);



    res = msi_init(d, PVSCSI_MSI_OFFSET(s), PVSCSI_MSIX_NUM_VECTORS,

                   PVSCSI_USE_64BIT, PVSCSI_PER_VECTOR_MASK);

    if (res < 0) {

        trace_pvscsi_init_msi_fail(res);

        s->msi_used = false;

    } else {

        s->msi_used = true;

    }

}

    PCIDevice *d = PCI_DEVICE(s);     int res;         s->msi_used = false;     } else {         s->msi_used = true;                    PVSCSI_USE_64BIT, PVSCSI_PER_VECTOR_MASK);
FUNC_0(PVSCSIState *VAR_0)

{

    int VAR_1;

    PCIDevice *d = PCI_DEVICE(VAR_0);



    VAR_1 = msi_init(d, PVSCSI_MSI_OFFSET(VAR_0), PVSCSI_MSIX_NUM_VECTORS,

                   PVSCSI_USE_64BIT, PVSCSI_PER_VECTOR_MASK);

    if (VAR_1 < 0) {

        trace_pvscsi_init_msi_fail(VAR_1);

        VAR_0->msi_used = false;

    } else {

        VAR_0->msi_used = true;

    }

}

FUNC_0(PVSCSIState *VAR_0)
{ int VAR_1; PCIDevice *d = PCI_DEVICE(VAR_0); VAR_1 = msi_init(d, PVSCSI_MSI_OFFSET(VAR_0), PVSCSI_MSIX_NUM_VECTORS,
PVSCSI_USE_64BIT, PVSCSI_PER_VECTOR_MASK); if (VAR_1 < 0) { trace_pvscsi_init_msi_fail(VAR_1); VAR_0->msi_used = false; } else { VAR_0->msi_used = true; } }