static void qbus_list_bus(DeviceState *dev, char *dest, int len)

{

    BusState *child;

    const char *sep = " ";

    int pos = 0;



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

                    dev->id ? dev->id : dev->info->name);

    LIST_FOREACH(child, &dev->child_bus, sibling) {

        pos += snprintf(dest+pos, len-pos, "%s\"%s\"", sep, child->name);

        sep = ", ";

    }

}

static void qbus_list_bus(DeviceState *dev, char *dest, int len)

{

    BusState *child;

    const char *sep = " ";

    int pos = 0;



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

                    dev->id ? dev->id : dev->info->name);

    LIST_FOREACH(child, &dev->child_bus, sibling) {

        pos += snprintf(dest+pos, len-pos, "%s\"%s\"", sep, child->name);

        sep = ", ";

    }

}

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

{

    BusState *child;

    const char *VAR_3 = " ";

    int VAR_4 = 0;



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

                    VAR_0->id ? VAR_0->id : VAR_0->info->name);

    LIST_FOREACH(child, &VAR_0->child_bus, sibling) {

        VAR_4 += snprintf(VAR_1+VAR_4, VAR_2-VAR_4, "%s\"%s\"", VAR_3, child->name);

        VAR_3 = ", ";

    }

}

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