static char *pcibus_get_fw_dev_path(DeviceState *dev)

{

    PCIDevice *d = (PCIDevice *)dev;

    char path[50], name[33];

    int off;



    off = snprintf(path, sizeof(path), "%s@%x",

                   pci_dev_fw_name(dev, name, sizeof name),

                   PCI_SLOT(d->devfn));

    if (PCI_FUNC(d->devfn))

        snprintf(path + off, sizeof(path) + off, ",%x", PCI_FUNC(d->devfn));

    return strdup(path);

}

static char *pcibus_get_fw_dev_path(DeviceState *dev)

{

    PCIDevice *d = (PCIDevice *)dev;

    char path[50], name[33];

    int off;



    off = snprintf(path, sizeof(path), "%s@%x",

                   pci_dev_fw_name(dev, name, sizeof name),

                   PCI_SLOT(d->devfn));

    if (PCI_FUNC(d->devfn))

        snprintf(path + off, sizeof(path) + off, ",%x", PCI_FUNC(d->devfn));

    return strdup(path);

}

static char *FUNC_0(DeviceState *VAR_0)

{

    PCIDevice *d = (PCIDevice *)VAR_0;

    char VAR_1[50], VAR_2[33];

    int VAR_3;



    VAR_3 = snprintf(VAR_1, sizeof(VAR_1), "%s@%x",

                   pci_dev_fw_name(VAR_0, VAR_2, sizeof VAR_2),

                   PCI_SLOT(d->devfn));

    if (PCI_FUNC(d->devfn))

        snprintf(VAR_1 + VAR_3, sizeof(VAR_1) + VAR_3, ",%x", PCI_FUNC(d->devfn));

    return strdup(VAR_1);

}

static char *FUNC_0(DeviceState *VAR_0)
{ PCIDevice *d = (PCIDevice *)VAR_0; char VAR_1[50], VAR_2[33]; int VAR_3; VAR_3 = snprintf(VAR_1, sizeof(VAR_1), "%s@%x",
pci_dev_fw_name(VAR_0, VAR_2, sizeof VAR_2),
PCI_SLOT(d->devfn)); if (PCI_FUNC(d->devfn))
snprintf(VAR_1 + VAR_3, sizeof(VAR_1) + VAR_3, ",%x", PCI_FUNC(d->devfn)); return strdup(VAR_1); }