static char *isabus_get_fw_dev_path(DeviceState *dev)

{

    ISADevice *d = (ISADevice*)dev;

    char path[40];

    int off;



    off = snprintf(path, sizeof(path), "%s", qdev_fw_name(dev));

    if (d->ioport_id) {

        snprintf(path + off, sizeof(path) - off, "@%04x", d->ioport_id);

    }



    return strdup(path);

}

static char *isabus_get_fw_dev_path(DeviceState *dev)

{

    ISADevice *d = (ISADevice*)dev;

    char path[40];

    int off;



    off = snprintf(path, sizeof(path), "%s", qdev_fw_name(dev));

    if (d->ioport_id) {

        snprintf(path + off, sizeof(path) - off, "@%04x", d->ioport_id);

    }



    return strdup(path);

}

static char *FUNC_0(DeviceState *VAR_0)

{

    ISADevice *d = (ISADevice*)VAR_0;

    char VAR_1[40];

    int VAR_2;



    VAR_2 = snprintf(VAR_1, sizeof(VAR_1), "%s", qdev_fw_name(VAR_0));

    if (d->ioport_id) {

        snprintf(VAR_1 + VAR_2, sizeof(VAR_1) - VAR_2, "@%04x", d->ioport_id);

    }



    return strdup(VAR_1);

}

static char *FUNC_0(DeviceState *VAR_0)
{ ISADevice *d = (ISADevice*)VAR_0; char VAR_1[40]; int VAR_2; VAR_2 = snprintf(VAR_1, sizeof(VAR_1), "%s", qdev_fw_name(VAR_0)); if (d->ioport_id) { snprintf(VAR_1 + VAR_2, sizeof(VAR_1) - VAR_2, "@%04x", d->ioport_id); } return strdup(VAR_1); }