static void qbus_list_dev(BusState *bus, char *dest, int len)

{

    DeviceState *dev;

    const char *sep = " ";

    int pos = 0;



    pos += snprintf(dest+pos, len-pos, "devices at \"%s\":",

                    bus->name);

    LIST_FOREACH(dev, &bus->children, sibling) {

        pos += snprintf(dest+pos, len-pos, "%s\"%s\"",

                        sep, dev->info->name);

        if (dev->id)

            pos += snprintf(dest+pos, len-pos, "/\"%s\"", dev->id);

        sep = ", ";

    }

}

static void qbus_list_dev(BusState *bus, char *dest, int len)

{

    DeviceState *dev;

    const char *sep = " ";

    int pos = 0;



    pos += snprintf(dest+pos, len-pos, "devices at \"%s\":",

                    bus->name);

    LIST_FOREACH(dev, &bus->children, sibling) {

        pos += snprintf(dest+pos, len-pos, "%s\"%s\"",

                        sep, dev->info->name);

        if (dev->id)

            pos += snprintf(dest+pos, len-pos, "/\"%s\"", dev->id);

        sep = ", ";

    }

}

static void FUNC_0(BusState *VAR_0, char *VAR_1, int VAR_2)

{

    DeviceState *dev;

    const char *VAR_3 = " ";

    int VAR_4 = 0;



    VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "devices at \"%s\":",

                    VAR_0->name);

    LIST_FOREACH(dev, &VAR_0->children, sibling) {

        VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "%s\"%s\"",

                        VAR_3, dev->info->name);

        if (dev->id)

            VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "/\"%s\"", dev->id);

        VAR_3 = ", ";

    }

}

static void FUNC_0(BusState *VAR_0, char *VAR_1, int VAR_2)
{ DeviceState *dev; const char *VAR_3 = " "; int VAR_4 = 0; VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "devices at \"%s\":",
VAR_0->name); LIST_FOREACH(dev, &VAR_0->children, sibling) { VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "%s\"%s\"",
VAR_3, dev->info->name); if (dev->id)
VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "/\"%s\"", dev->id); VAR_3 = ", "; } }