vmxnet3_init_msi(VMXNET3State *s)

{

    PCIDevice *d = PCI_DEVICE(s);

    int res;



    res = msi_init(d, VMXNET3_MSI_OFFSET, VMXNET3_MSI_NUM_VECTORS,

                   VMXNET3_USE_64BIT, VMXNET3_PER_VECTOR_MASK);

    if (0 > res) {

        VMW_WRPRN("Failed to initialize MSI, error %d", res);

        s->msi_used = false;

    } else {

        s->msi_used = true;

    }



    return s->msi_used;

}

vmxnet3_init_msi(VMXNET3State *s)

{

    PCIDevice *d = PCI_DEVICE(s);

    int res;



    res = msi_init(d, VMXNET3_MSI_OFFSET, VMXNET3_MSI_NUM_VECTORS,

                   VMXNET3_USE_64BIT, VMXNET3_PER_VECTOR_MASK);

    if (0 > res) {

        VMW_WRPRN("Failed to initialize MSI, error %d", res);

        s->msi_used = false;

    } else {

        s->msi_used = true;

    }



    return s->msi_used;

}

    res = msi_init(d, VMXNET3_MSI_OFFSET, VMXNET3_MSI_NUM_VECTORS,
FUNC_0(VMXNET3State *VAR_0)

{

    PCIDevice *d = PCI_DEVICE(VAR_0);

    int VAR_1;



    VAR_1 = msi_init(d, VMXNET3_MSI_OFFSET, VMXNET3_MSI_NUM_VECTORS,

                   VMXNET3_USE_64BIT, VMXNET3_PER_VECTOR_MASK);

    if (0 > VAR_1) {

        VMW_WRPRN("Failed to initialize MSI, error %d", VAR_1);

        VAR_0->msi_used = false;

    } else {

        VAR_0->msi_used = true;

    }



    return VAR_0->msi_used;

}

FUNC_0(VMXNET3State *VAR_0)
{ PCIDevice *d = PCI_DEVICE(VAR_0); int VAR_1; VAR_1 = msi_init(d, VMXNET3_MSI_OFFSET, VMXNET3_MSI_NUM_VECTORS,
VMXNET3_USE_64BIT, VMXNET3_PER_VECTOR_MASK); if (0 > VAR_1) { VMW_WRPRN("Failed to initialize MSI, error %d", VAR_1); VAR_0->msi_used = false; } else { VAR_0->msi_used = true; } return VAR_0->msi_used; }