static char *idebus_get_fw_dev_path(DeviceState *dev)

{

    char path[30];



    snprintf(path, sizeof(path), "%s@%d", qdev_fw_name(dev),

             ((IDEBus*)dev->parent_bus)->bus_id);



    return strdup(path);

}

static char *idebus_get_fw_dev_path(DeviceState *dev)

{

    char path[30];



    snprintf(path, sizeof(path), "%s@%d", qdev_fw_name(dev),

             ((IDEBus*)dev->parent_bus)->bus_id);



    return strdup(path);

}

static char *FUNC_0(DeviceState *VAR_0)

{

    char VAR_1[30];



    snprintf(VAR_1, sizeof(VAR_1), "%s@%d", qdev_fw_name(VAR_0),

             ((IDEBus*)VAR_0->parent_bus)->bus_id);



    return strdup(VAR_1);

}

static char *FUNC_0(DeviceState *VAR_0)
{ char VAR_1[30]; snprintf(VAR_1, sizeof(VAR_1), "%s@%d", qdev_fw_name(VAR_0),
((IDEBus*)VAR_0->parent_bus)->bus_id); return strdup(VAR_1); }